45 if(statement==ID_block)
47 else if(statement==ID_label)
60 if(statement==ID_block)
62 else if(statement==ID_label)
75 if(statement==ID_block)
77 else if(statement==ID_label)
90 if(statement==ID_block)
92 else if(statement==ID_label)
105 for(
const auto &operand : extra_block.
operands())
const irep_idt & get_statement() const
const irep_idt & get_identifier() const
const irep_idt & get_identifier() const
void move_to_operands(exprt &expr)
codet & first_statement()
class code_blockt & make_block()
API to expression classes.
const irep_idt & get_identifier() const
void append(const code_blockt &extra_block)
Add all the codets from extra_block to the current code_blockt.
bool has_operands() const
void set_statement(const irep_idt &statement)
Base class for all expressions.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast a generic exprt to a symbol_exprt.
irept & add(const irep_namet &name)
const codet & to_code(const exprt &expr)
A statement in a programming language.