|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
This is the complete list of members for jimple_file, including all inherited members.
| body | jimple_file | |
| class_name | jimple_file | |
| create_jimple_symbolt(const type2tc &t, const std::string &module, const std::string &name, const std::string &id, const std::string function_name="") | jimple_ast | inlineprotectedstatic |
| dump() const | jimple_ast | inline |
| extends | jimple_file | |
| file_type enum name | jimple_file | |
| from_json(const json &j) override | jimple_file | virtual |
| from_string(const std::string &name) const | jimple_file | inline |
| get_allocation_function() | jimple_ast | inlineprotectedstatic |
| get_lengthof_function() | jimple_ast | inlineprotectedstatic |
| get_location(const std::string &module, const std::string function_name="") | jimple_ast | inlineprotectedstatic |
| get_method_name(std::string class_name, std::string function_name) | jimple_ast | inlineprotectedstatic |
| get_symbol_name(std::string class_name, std::string function_name, std::string symbol) | jimple_ast | inlineprotectedstatic |
| get_temp_symbol(const type2tc &t, const std::string &class_name, const std::string &function_name) | jimple_ast | inlineprotectedstatic |
| implements | jimple_file | |
| is_interface() const | jimple_file | inline |
| line_location | jimple_ast | |
| load_file(const std::string &path) | jimple_file | |
| mode | jimple_file | |
| modifiers | jimple_file | |
| to_exprt(contextt &ctx) const | jimple_file | virtual |
| to_string() const override | jimple_file | virtual |
| to_string(const file_type &ft) const | jimple_file | inline |