Merge pull request #1312 from peterschrammel/bugfix/java-is-internal

Flag java internal functions as internal in JSON/XML output

Author: peterschrammel

src/goto-programs/show_goto_functions_json.cpp

@@ -48,8 +48,11 @@ json_objectt show_goto_functions_jsont::convert(
     json_function["name"]=json_stringt(id2string(function_name));
     json_function["isBodyAvailable"]=
       jsont::json_boolean(function.body_available());
-    bool is_internal=(has_prefix(id2string(function_name), CPROVER_PREFIX) ||
-                      function_name==goto_functions.entry_point());
+    bool is_internal=
+      has_prefix(id2string(function_name), CPROVER_PREFIX) ||
+      has_prefix(id2string(function_name), "java::array[") ||
+      has_prefix(id2string(function_name), "java::org.cprover") ||
+      has_prefix(id2string(function_name), "java::java");
     json_function["isInternal"]=jsont::json_boolean(is_internal);
 
     if(function.body_available())

src/goto-programs/show_goto_functions_xml.cpp

@@ -49,8 +49,11 @@ xmlt show_goto_functions_xmlt::convert(
     xml_function.set_attribute("name", id2string(function_name));
     xml_function.set_attribute_bool(
       "is_body_available", function.body_available());
-    bool is_internal=(has_prefix(id2string(function_name), CPROVER_PREFIX) ||
-                      function_name==goto_functions.entry_point());
+    bool is_internal=
+      has_prefix(id2string(function_name), CPROVER_PREFIX) ||
+      has_prefix(id2string(function_name), "java::array[") ||
+      has_prefix(id2string(function_name), "java::org.cprover") ||
+      has_prefix(id2string(function_name), "java::java");
     xml_function.set_attribute_bool("is_internal", is_internal);
 
     if(function.body_available())