std_code.h File Reference

#include <cassert>
#include <util/irep/expr.h>

Include dependency graph for std_code.h:

Go to the source code of this file.

Classes
class	codet
class	code_blockt
class	code_skipt
class	code_assignt
class	code_declt
class	code_deadt
	A removal of a local variable. More...
class	code_assumet
class	code_assertt
class	code_ifthenelset
class	code_function_callt
	A `switch' instruction */ class code_switcht : public codet { public: inline code_switcht() : codet("switch") { operands().resize(2); }. More...
class	code_returnt
class	code_labelt
class	code_switch_caset
	A switch-case. More...
class	code_breakt
class	code_continuet
class	code_expressiont
class	side_effect_exprt
class	side_effect_expr_nondett
class	side_effect_expr_function_callt

Functions
const codet &	to_code (const exprt &expr)
codet &	to_code (exprt &expr)
const code_blockt &	to_code_block (const codet &code)
code_blockt &	to_code_block (codet &code)
const code_assignt &	to_code_assign (const codet &code)
code_assignt &	to_code_assign (codet &code)
const code_declt &	to_code_decl (const codet &code)
code_declt &	to_code_decl (codet &code)
const code_deadt &	to_code_dead (const codet &code)
code_deadt &	to_code_dead (codet &code)
const code_assumet &	to_code_assume (const codet &code)
code_assumet &	to_code_assume (codet &code)
const code_assertt &	to_code_assert (const codet &code)
code_assertt &	to_code_assert (codet &code)
const code_ifthenelset &	to_code_ifthenelse (const codet &code)
code_ifthenelset &	to_code_ifthenelse (codet &code)
const code_function_callt &	to_code_function_call (const codet &code)
code_function_callt &	to_code_function_call (codet &code)
const code_returnt &	to_code_return (const codet &code)
code_returnt &	to_code_return (codet &code)
const code_labelt &	to_code_label (const codet &code)
code_labelt &	to_code_label (codet &code)
static const code_switch_caset &	to_code_switch_case (const codet &code)
static code_switch_caset &	to_code_switch_case (codet &code)
const code_breakt &	to_code_break (const codet &code)
code_breakt &	to_code_break (codet &code)
const code_continuet &	to_code_continue (const codet &code)
code_continuet &	to_code_continue (codet &code)
code_expressiont &	to_code_expression (codet &code)
const code_expressiont &	to_code_expression (const codet &code)
side_effect_exprt &	to_side_effect_expr (exprt &expr)
const side_effect_exprt &	to_side_effect_expr (const exprt &expr)
side_effect_expr_function_callt &	to_side_effect_expr_function_call (exprt &expr)
const side_effect_expr_function_callt &	to_side_effect_expr_function_call (const exprt &expr)

Function Documentation

to_code() [1/2]

const codet & to_code ( const exprt & expr )

externinline

to_code() [2/2]

codet & to_code ( exprt & expr )

externinline

to_code_assert() [1/2]

code_assertt & to_code_assert ( codet & code )

externinline

to_code_assert() [2/2]

const code_assertt & to_code_assert ( const codet & code )

externinline

to_code_assign() [1/2]

code_assignt & to_code_assign ( codet & code )

externinline

to_code_assign() [2/2]

const code_assignt & to_code_assign ( const codet & code )

externinline

to_code_assume() [1/2]

code_assumet & to_code_assume ( codet & code )

externinline

to_code_assume() [2/2]

const code_assumet & to_code_assume ( const codet & code )

externinline

to_code_block() [1/2]

code_blockt & to_code_block ( codet & code )

externinline

to_code_block() [2/2]

const code_blockt & to_code_block ( const codet & code )

externinline

to_code_break() [1/2]

code_breakt & to_code_break ( codet & code )

externinline

to_code_break() [2/2]

const code_breakt & to_code_break ( const codet & code )

externinline

to_code_continue() [1/2]

code_continuet & to_code_continue ( codet & code )

externinline

to_code_continue() [2/2]

const code_continuet & to_code_continue ( const codet & code )

externinline

to_code_dead() [1/2]

code_deadt & to_code_dead ( codet & code )

inline

to_code_dead() [2/2]

const code_deadt & to_code_dead ( const codet & code )

inline

to_code_decl() [1/2]

code_declt & to_code_decl ( codet & code )

externinline

to_code_decl() [2/2]

const code_declt & to_code_decl ( const codet & code )

externinline

to_code_expression() [1/2]

code_expressiont & to_code_expression ( codet & code )

externinline

to_code_expression() [2/2]

const code_expressiont & to_code_expression ( const codet & code )

externinline

to_code_function_call() [1/2]

code_function_callt & to_code_function_call ( codet & code )

externinline

to_code_function_call() [2/2]

const code_function_callt & to_code_function_call ( const codet & code )

externinline

to_code_ifthenelse() [1/2]

code_ifthenelset & to_code_ifthenelse ( codet & code )

externinline

to_code_ifthenelse() [2/2]

const code_ifthenelset & to_code_ifthenelse ( const codet & code )

externinline

to_code_label() [1/2]

code_labelt & to_code_label ( codet & code )

externinline

to_code_label() [2/2]

const code_labelt & to_code_label ( const codet & code )

externinline

to_code_return() [1/2]

code_returnt & to_code_return ( codet & code )

externinline

to_code_return() [2/2]

const code_returnt & to_code_return ( const codet & code )

externinline

to_code_switch_case() [1/2]

code_switch_caset & to_code_switch_case ( codet & code )

inlinestatic

to_code_switch_case() [2/2]

const code_switch_caset & to_code_switch_case ( const codet & code )

inlinestatic

to_side_effect_expr() [1/2]

const side_effect_exprt & to_side_effect_expr ( const exprt & expr )

externinline

to_side_effect_expr() [2/2]

side_effect_exprt & to_side_effect_expr ( exprt & expr )

externinline

to_side_effect_expr_function_call() [1/2]

const side_effect_expr_function_callt & to_side_effect_expr_function_call ( const exprt & expr )

externinline

to_side_effect_expr_function_call() [2/2]

side_effect_expr_function_callt & to_side_effect_expr_function_call ( exprt & expr )

externinline