ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
jimple_deref Member List

This is the complete list of members for jimple_deref, including all inherited members.

basejimple_deref
create_jimple_symbolt(const type2tc &t, const std::string &module, const std::string &name, const std::string &id, const std::string function_name="")jimple_astinlineprotectedstatic
dump() constjimple_astinline
from_json(const json &j) overridejimple_derefvirtual
get_allocation_function()jimple_astinlineprotectedstatic
get_expression(const json &j)jimple_exprstatic
get_lengthof_function()jimple_astinlineprotectedstatic
get_location(const std::string &module, const std::string function_name="")jimple_astinlineprotectedstatic
get_method_name(std::string class_name, std::string function_name)jimple_astinlineprotectedstatic
get_symbol_name(std::string class_name, std::string function_name, std::string symbol)jimple_astinlineprotectedstatic
get_temp_symbol(const type2tc &t, const std::string &class_name, const std::string &function_name)jimple_astinlineprotectedstatic
indexjimple_deref
jimple_deref()=defaultjimple_deref
jimple_deref(std::shared_ptr< jimple_expr > index, std::shared_ptr< jimple_expr > base)jimple_derefinline
line_locationjimple_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 > > &parameters, const expr2tc &lhs, const std::string &class_name, const std::string &function_name)jimple_exprprotectedstatic
to_expr2t(contextt &ctx, const std::string &class_name, const std::string &function_name) const overridejimple_derefvirtual
to_exprt(contextt &, const std::string &, const std::string &) constjimple_exprinlinevirtual
to_string() const overridejimple_derefinlinevirtual