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 =
"");
67 #endif // CPROVER_JAVA_TESTING_UTILS_LOAD_JAVA_CLASS_H