jimple_virtual_invoke Member List

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

base_class	jimple_virtual_invoke
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_virtual_invoke	virtual
get_allocation_function()	jimple_ast	inlineprotectedstatic
get_expression(const json &j)	jimple_expr	static
get_hash_name() const	jimple_virtual_invoke	inlineprotected
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
is_nondet_call() const	jimple_virtual_invoke	inline
lhs	jimple_virtual_invoke
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 > > &parameters, const expr2tc &lhs, const std::string &class_name, const std::string &function_name)	jimple_expr	protectedstatic
method	jimple_virtual_invoke
parameters	jimple_virtual_invoke
set_lhs(const expr2tc &expr)	jimple_virtual_invoke	inline
to_expr2t(contextt &ctx, const std::string &class_name, const std::string &function_name) const override	jimple_virtual_invoke	virtual
to_exprt(contextt &, const std::string &, const std::string &) const	jimple_expr	inlinevirtual
to_string() const override	jimple_virtual_invoke	inlinevirtual
variable	jimple_virtual_invoke