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