Go to the documentation of this file.
22 if(
type.
id() == ID_symbol_type)
26 else if(
type.
id()==ID_struct)
28 const exprt &methods=static_cast<const exprt&>(
type.
find(ID_methods));
32 if(it->type().id()==ID_code)
41 if(arg_type.
id()==ID_pointer &&
44 const symbol_exprt symbol_expr(it->get(ID_name), it->type());
52 return static_cast<const code_function_callt &>(
get_nil_irep());
const typet & subtype() const
The type of an expression, extends irept.
const irept & find(const irep_namet &name) const
code_function_callt get_destructor(const namespacet &ns, const typet &type)
Base class for all expressions.
Expression to hold a symbol (variable)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
typet & type()
Return the type of the expression.
codet representation of a function call statement.
const code_typet & to_code_type(const typet &type)
Cast a typet to a code_typet.
#define forall_operands(it, expr)
const irep_idt & id() const
const parameterst & parameters() const
const typet & follow(const typet &) const
Resolve type symbol to the type it points to.
const typet & return_type() const
const irept & get_nil_irep()