68 for(code_function_callt::argumentst::iterator
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
A codet representing an assignment in the program.
goto_instruction_codet representation of a function call statement.
codet representation of an if-then-else statement.
codet representation of a label for branch targets.
goto_instruction_codet representation of a "return from a function" statement.
codet representing a switch statement.
Data structure for representing an arbitrary statement in a program.
const irep_idt & get_statement() const
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
void typecheck_code(codet &)
virtual void typecheck_expr(exprt &expr)
static exprt conditional_cast(const exprt &expr, const typet &type)
#define Forall_operands(it, expr)
const code_function_callt & to_code_function_call(const goto_instruction_codet &code)
const code_returnt & to_code_return(const goto_instruction_codet &code)
JAVA Bytecode Language Type Checking.
const code_labelt & to_code_label(const codet &code)
const code_ifthenelset & to_code_ifthenelse(const codet &code)
const code_frontend_assignt & to_code_frontend_assign(const codet &code)
const code_switcht & to_code_switch(const codet &code)
const codet & to_code(const exprt &expr)