Add getter/setter for ID_is_native_method

Author: Matthias Güdemann

jbmc/src/java_bytecode/java_bytecode_convert_method.cpp

@@ -372,8 +372,7 @@ void java_bytecode_convert_method_lazy(
     member_type.set(ID_is_synchronized, true);
   if(m.is_static)
     member_type.set(ID_is_static, true);
-  if(m.is_native)
-    member_type.set(ID_is_native_method, true);
+  member_type.set_native(m.is_native);
 
   if(m.is_bridge)
     member_type.set(ID_is_bridge_method, m.is_bridge);

jbmc/src/java_bytecode/java_types.h

@@ -278,6 +278,16 @@ class java_method_typet : public code_typet
   {
     add(ID_exceptions_thrown_list).get_sub().push_back(irept(exception));
   }
+
+  bool is_native() const
+  {
+    return get_bool(ID_is_native_method);
+  }
+
+  void set_native(bool is_native)
+  {
+    set(ID_is_native_method, is_native);
+  }
 };
 
 template <>