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,
32 std::unique_ptr<languaget> &&java_lang);
35 const std::string &java_class_name,
36 const std::string &class_path,
37 const std::string &
main,
38 std::unique_ptr<languaget> &&java_lang,
42 const std::string &java_class_name,
43 const std::string &class_path,
44 const std::string &
main);
46 #endif // CPROVER_JAVA_TESTING_UTILS_LOAD_JAVA_CLASS_H symbol_tablet load_java_class(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...
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...