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

This is the complete list of members for jimple_type, 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_astinlineprotectedstatic
dimensionsjimple_type
dump() constjimple_astinline
from_json(const json &j) overridejimple_typevirtual
get_allocation_function()jimple_astinlineprotectedstatic
get_arr_type(const contextt &ctx) constjimple_typeinlineprotected
get_arr_type2(const contextt &ctx) constjimple_typeinlineprotected
get_base_type(const contextt &ctx) constjimple_typeprotected
get_base_type2(const contextt &ctx) constjimple_typeprotected
get_builtin_type() constjimple_typeprotected
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
is_array() constjimple_typeinline
line_locationjimple_ast
namejimple_type
to_string() const overridejimple_typevirtual
to_type2t(const contextt &ctx) constjimple_typevirtual
to_typet(const contextt &ctx) constjimple_typevirtual