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 
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);
38 
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,
44  const cmdlinet &command_line);
45 
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,
51  const cmdlinet &command_line);
52 
54  const std::string &java_class_name,
55  const std::string &class_path,
56  const std::string &main);
57 
58 #endif // CPROVER_JAVA_TESTING_UTILS_LOAD_JAVA_CLASS_H
goto_modelt load_goto_model_from_java_class(const std::string &java_class_name, const std::string &class_path, const std::string &main="")
See load_goto_model_from_java_class With the command line configured to disable lazy loading and stri...
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, const std::string &class_path, const std::string &main) // NOLINT.
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...