Mark native methods java_method_typet with ID_is_native_method

Author: Matthias Güdemann

jbmc/src/java_bytecode/java_bytecode_convert_method.cpp

@@ -372,6 +372,8 @@ 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);
 
   if(m.is_bridge)
     member_type.set(ID_is_bridge_method, m.is_bridge);

src/util/irep_ids.def

@@ -387,6 +387,7 @@ IREP_ID_ONE(is_enum_constant)
 IREP_ID_ONE(is_inline)
 IREP_ID_ONE(is_extern)
 IREP_ID_ONE(is_synchronized)
+IREP_ID_ONE(is_native_method)
 IREP_ID_ONE(is_global)
 IREP_ID_ONE(is_thread_local)
 IREP_ID_ONE(is_parameter)