cprover
dump_c.cpp File Reference

Dump Goto-Program as C/C++ Source. More...

+ Include dependency graph for dump_c.cpp:

Go to the source code of this file.

Functions

std::ostream & operator<< (std::ostream &out, dump_ct &src)
 
static bool find_block_position_rec (const irep_idt &identifier, codet &root, code_blockt *&dest, exprt::operandst::iterator &before)
 
void dump_c (const goto_functionst &src, const bool use_system_headers, const bool use_all_headers, const bool include_harness, const namespacet &ns, std::ostream &out)
 
void dump_cpp (const goto_functionst &src, const bool use_system_headers, const bool use_all_headers, const bool include_harness, const namespacet &ns, std::ostream &out)
 
static bool module_local_declaration (const symbolt &symbol, const std::string module)
 
void dump_c_type_header (const goto_functionst &src, const bool use_system_headers, const bool use_all_headers, const bool include_harness, const namespacet &ns, const std::string module, std::ostream &out)
 

Detailed Description

Dump Goto-Program as C/C++ Source.

Definition in file dump_c.cpp.

Function Documentation

◆ dump_c()

void dump_c ( const goto_functionst src,
const bool  use_system_headers,
const bool  use_all_headers,
const bool  include_harness,
const namespacet ns,
std::ostream &  out 
)

Definition at line 1462 of file dump_c.cpp.

◆ dump_c_type_header()

void dump_c_type_header ( const goto_functionst src,
const bool  use_system_headers,
const bool  use_all_headers,
const bool  include_harness,
const namespacet ns,
const std::string  module,
std::ostream &  out 
)

Definition at line 1507 of file dump_c.cpp.

◆ dump_cpp()

void dump_cpp ( const goto_functionst src,
const bool  use_system_headers,
const bool  use_all_headers,
const bool  include_harness,
const namespacet ns,
std::ostream &  out 
)

Definition at line 1480 of file dump_c.cpp.

◆ find_block_position_rec()

static bool find_block_position_rec ( const irep_idt identifier,
codet root,
code_blockt *&  dest,
exprt::operandst::iterator &  before 
)
static

Definition at line 1120 of file dump_c.cpp.

◆ module_local_declaration()

static bool module_local_declaration ( const symbolt symbol,
const std::string  module 
)
static

Definition at line 1499 of file dump_c.cpp.

◆ operator<<()

std::ostream& operator<< ( std::ostream &  out,
dump_ct src 
)
inline

Definition at line 39 of file dump_c.cpp.