21 if(type.
id()==ID_symbol)
25 else if(type.
id()==ID_struct)
27 const exprt &methods=
static_cast<const exprt&
>(type.
find(ID_methods));
31 if(it->type().id()==ID_code)
40 if(arg_type.
id()==ID_pointer &&
43 exprt symbol_expr(ID_symbol, it->type());
44 symbol_expr.
set(ID_identifier, it->get(ID_name));
47 function_call.
function()=symbol_expr;
const irept & get_nil_irep()
The type of an expression.
const typet & follow(const typet &src) const
const irep_idt & id() const
#define forall_operands(it, expr)
Base class for all expressions.
const parameterst & parameters() const
const code_typet & to_code_type(const typet &type)
Cast a generic typet to a code_typet.
code_function_callt get_destructor(const namespacet &ns, const typet &type)
const typet & subtype() const
const irept & find(const irep_namet &name) const
const typet & return_type() const
void set(const irep_namet &name, const irep_idt &value)