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,
45 std::unique_ptr<languaget> &&java_lang,
49 const std::string &java_class_name,
50 const std::string &class_path,
51 const std::string &
main);
56 const std::string &java_class_name,
57 const std::string &class_path,
58 const std::vector<std::string> &command_line_flags,
59 const std::unordered_map<std::string, std::string> &command_line_options,
60 const std::string &
main =
"");
63 const std::string &java_class_name,
64 const std::string &class_path,
65 const std::string &
main =
"");
int main(int argc, char *argv[])
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...
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,...
goto_modelt load_goto_model_from_java_class(const std::string &java_class_name, const std::string &class_path, const std::string &main, std::unique_ptr< languaget > &&java_lang, const cmdlinet &command_line)
Go through the process of loading, type-checking and finalising a specific class file to build a goto...