18 if(statement==ID_assign)
27 else if(statement==ID_block)
32 else if(statement==ID_label)
37 else if(statement==ID_goto)
40 else if(statement==ID_ifthenelse)
48 else if(statement==ID_switch)
53 else if(statement==ID_return)
58 else if(statement==ID_function_call)
64 for(code_function_callt::argumentst::iterator
65 a_it=code_function_call.
arguments().begin();
66 a_it!=code_function_call.
arguments().end();
const irep_idt & get_statement() const
const codet & then_case() const
const exprt & cond() const
JAVA Bytecode Language Type Checking.
const code_assignt & to_code_assign(const codet &code)
void typecheck_code(codet &)
A label for branch targets.
virtual void typecheck_expr(exprt &expr)
const code_switcht & to_code_switch(const codet &code)
const exprt & value() const
#define Forall_operands(it, expr)
const codet & to_code(const exprt &expr)
A statement in a programming language.
const code_labelt & to_code_label(const codet &code)
const codet & else_case() const
const code_ifthenelset & to_code_ifthenelse(const codet &code)
void make_typecast(const typet &_type)
const code_function_callt & to_code_function_call(const codet &code)