Go to the documentation of this file.
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)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
static exprt conditional_cast(const exprt &expr, const typet &type)
#define Forall_operands(it, expr)
const codet & then_case() const
void typecheck_code(codet &)
const exprt & cond() const
codet representation of an if-then-else statement.
const codet & to_code(const exprt &expr)
typet & type()
Return the type of the expression.
codet representation of a function call statement.
const code_ifthenelset & to_code_ifthenelse(const codet &code)
codet representation of a label for branch targets.
const code_labelt & to_code_label(const codet &code)
const code_function_callt & to_code_function_call(const codet &code)
const code_returnt & to_code_return(const codet &code)
const exprt & value() const
codet representation of a "return from a function" statement.
const code_assignt & to_code_assign(const codet &code)
codet representing a switch statement.
const codet & else_case() const
const code_switcht & to_code_switch(const codet &code)
const exprt & return_value() const
A codet representing an assignment in the program.
const irep_idt & get_statement() const
JAVA Bytecode Language Type Checking.
virtual void typecheck_expr(exprt &expr)
Data structure for representing an arbitrary statement in a program.