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  std::unique_ptr<languaget> &&java_lang,
46  const cmdlinet &command_line);
47 
49  const std::string &java_class_name,
50  const std::string &class_path,
51  const std::string &main);
52 
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 = "");
61 
63  const std::string &java_class_name,
64  const std::string &class_path,
65  const std::string &main = "");
66 
67 #endif // CPROVER_JAVA_TESTING_UTILS_LOAD_JAVA_CLASS_H
symbol_tablet
The symbol table.
Definition: symbol_table.h:20
goto_model.h
Symbol Table + CFG.
goto_modelt
Definition: goto_model.h:26
cmdlinet
Definition: cmdline.h:21
load_goto_model_from_java_class
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...
Definition: load_java_class.cpp:87
language.h
Abstract interface to support a programming language.
main
int main(int argc, char *argv[])
Definition: file_converter.cpp:41
load_java_class
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,...
Definition: load_java_class.cpp:47
cmdline.h
symbol_table.h
Author: Diffblue Ltd.
load_java_class_lazy
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...
Definition: load_java_class.cpp:35