cprover
load_java_class.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3  Module: Unit test utilities
4 
5  Author: Diffblue Ltd.
6 
7 \*******************************************************************/
8 
12 
13 #ifndef CPROVER_JAVA_TESTING_UTILS_LOAD_JAVA_CLASS_H
14 #define CPROVER_JAVA_TESTING_UTILS_LOAD_JAVA_CLASS_H
15 
16 #include <util/symbol_table.h>
17 
19 
20 #include <langapi/language.h>
21 #include <util/cmdline.h>
22 
24  const std::string &java_class_name,
25  const std::string &class_path,
26  const std::string &main = "");
27 
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);
33 
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,
39  const cmdlinet &command_line);
40 
42  const std::string &java_class_name,
43  const std::string &class_path,
44  const std::string &main);
45 
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...
Symbol Table + CFG.
The symbol table.
Definition: symbol_table.h:19
Abstract interface to support a programming language.
int main()
Author: Diffblue Ltd.
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...