|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
This is the complete list of members for jimple_constant, including all inherited members.
| 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 |
| from_json(const json &j) override | jimple_constant | virtual |
| get_allocation_function() | jimple_ast | inlineprotectedstatic |
| get_expression(const json &j) | jimple_expr | static |
| 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 |
| jimple_constant()=default | jimple_constant | |
| jimple_constant(const std::string &value) | jimple_constant | inlineexplicit |
| line_location | jimple_ast | |
| lower_invoke2t(contextt &ctx, const std::string &base_class, const std::string &method, const std::string &this_variable, const std::vector< std::shared_ptr< jimple_expr > > ¶meters, const expr2tc &lhs, const std::string &class_name, const std::string &function_name) | jimple_expr | protectedstatic |
| setValue(const std::string &v) | jimple_constant | inlinevirtual |
| to_expr2t(contextt &ctx, const std::string &class_name, const std::string &function_name) const override | jimple_constant | virtual |
| to_exprt(contextt &, const std::string &, const std::string &) const | jimple_expr | inlinevirtual |
| to_string() const override | jimple_constant | inlinevirtual |
| value | jimple_constant |