Update load_java_class to construct the entry point function

Take a language as a parameter to allow customisation on which language
is used

Author: NlightNFotis

unit/testing-utils/load_java_class.cpp

@@ -26,6 +26,15 @@
 symbol_tablet load_java_class(
   const std::string &java_class_name,
   const std::string &class_path)
+{
+  return load_java_class(
+    java_class_name, class_path, new_java_bytecode_language());
+}
+
+symbol_tablet load_java_class(
+  const std::string &java_class_name,
+  const std::string &class_path,
+  std::unique_ptr<languaget> java_lang)
 {
   // We don't expect the .class suffix to allow us to check the name of the
   // class
@@ -39,8 +48,6 @@ symbol_tablet load_java_class(
 
   symbol_tablet new_symbol_table;
 
-  std::unique_ptr<languaget>java_lang(new_java_bytecode_language());
-
   std::istringstream java_code_stream("ignored");
   null_message_handlert message_handler;
 

unit/testing-utils/load_java_class.h

@@ -14,9 +14,16 @@
 #define CPROVER_TESTING_UTILS_LOAD_JAVA_CLASS_H
 
 #include <util/symbol_table.h>
+#include <util/language.h>
+#include <goto-programs/goto_model.h>
 
 symbol_tablet load_java_class(
   const std::string &java_class_name,
   const std::string &class_path);
 
+symbol_tablet load_java_class(
+  const std::string &java_class_name,
+  const std::string &class_path,
+  std::unique_ptr<languaget> java_lang);
+
 #endif // CPROVER_TESTING_UTILS_LOAD_JAVA_CLASS_H