13 #ifndef CPROVER_JAVA_TESTING_UTILS_LOAD_JAVA_CLASS_H 14 #define CPROVER_JAVA_TESTING_UTILS_LOAD_JAVA_CLASS_H 24 const std::string &java_class_name,
25 const std::string &class_path,
26 const std::string &
main =
"");
29 const std::string &java_class_name,
30 const std::string &class_path,
31 const std::string &
main =
"");
34 const std::string &java_class_name,
35 const std::string &class_path,
36 const std::string &
main,
37 std::unique_ptr<languaget> &&java_lang);
40 const std::string &java_class_name,
41 const std::string &class_path,
42 const std::string &
main,
43 std::unique_ptr<languaget> &&java_lang,
47 const std::string &java_class_name,
48 const std::string &class_path,
49 const std::string &
main,
50 std::unique_ptr<languaget> &&java_lang,
54 const std::string &java_class_name,
55 const std::string &class_path,
56 const std::string &
main);
58 #endif // CPROVER_JAVA_TESTING_UTILS_LOAD_JAVA_CLASS_H goto_modelt load_goto_model_from_java_class(const std::string &java_class_name, const std::string &class_path, const std::string &main="")
See load_goto_model_from_java_class With the command line configured to disable lazy loading and stri...
symbol_tablet load_java_class(const std::string &java_class_name, const std::string &class_path, const std::string &main="")
Returns the symbol table from load_goto_model_from_java_class(const std::string &java_class_name, const std::string &class_path, const std::string &main) // NOLINT.
Abstract interface to support a programming language.
symbol_tablet load_java_class_lazy(const std::string &java_class_name, const std::string &class_path, const std::string &main)
Go through the process of loading, type-checking and finalising loading a specific class file to buil...