cprover
|
Public Member Functions | |
mm2cppt (std::ostream &_out) | |
void | operator() (const irept &) |
Public Attributes | |
irep_idt | model_name |
Protected Types | |
typedef std::map< irep_idt, exprt > | let_valuest |
Protected Member Functions | |
void | instruction2cpp (const codet &code, unsigned indent) |
void | check_acyclic (const exprt &, unsigned indent) |
Static Protected Member Functions | |
static std::string | text2c (const irep_idt &src) |
Protected Attributes | |
std::ostream & | out |
let_valuest | let_values |
Definition at line 15 of file mm2cpp.cpp.
|
protected |
Definition at line 27 of file mm2cpp.cpp.
|
inlineexplicit |
Definition at line 18 of file mm2cpp.cpp.
|
protected |
Definition at line 52 of file mm2cpp.cpp.
References source_locationt::as_string(), irept::get(), irept::id(), id2string(), irept::id_string(), let_values, exprt::op0(), exprt::op1(), exprt::operands(), and exprt::source_location().
Referenced by instruction2cpp().
|
protected |
Definition at line 133 of file mm2cpp.cpp.
References check_acyclic(), forall_operands, codet::get_statement(), irept::id(), let_values, exprt::op0(), exprt::op1(), exprt::operands(), and to_code().
Referenced by operator()().
void mm2cppt::operator() | ( | const irept & | instruction | ) |
Definition at line 183 of file mm2cpp.cpp.
References instruction2cpp(), model_name, out, text2c(), and to_code().
|
staticprotected |
|
protected |
Definition at line 28 of file mm2cpp.cpp.
Referenced by check_acyclic(), and instruction2cpp().
irep_idt mm2cppt::model_name |
Definition at line 22 of file mm2cpp.cpp.
Referenced by mm2cpp(), and operator()().
|
protected |
Definition at line 26 of file mm2cpp.cpp.
Referenced by operator()().