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();
70 else if(statement==ID_assert || statement==ID_assume)
const irep_idt & get_statement() const
const codet & then_case() const
codet representing a switch statement.
const exprt & cond() const
typet & type()
Return the type of the expression.
JAVA Bytecode Language Type Checking.
const code_assignt & to_code_assign(const codet &code)
void typecheck_code(codet &)
codet representation of a label for branch targets.
codet representation of a function call statement.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
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)
codet representation of an if-then-else statement.
Data structure for representing an arbitrary statement in a program.
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)
Create a typecast_exprt to the given type.
A codet representing an assignment in the program.
const code_function_callt & to_code_function_call(const codet &code)