const code_declt & to_code_decl(const codet &code)
void output(std::ostream &out) const
A codet representing the declaration of a local variable.
Expression to hold a symbol (variable)
const irep_idt & get_identifier() const
A goto function, consisting of function type (see type), function body (see body),...
const parameterst & parameters() const
void build(const goto_functiont &goto_function)
code_typet type
The type of the function, indicating the return type and parameter types.
#define forall_goto_program_instructions(it, program)