cprover
dump_c.cpp File Reference

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

#include "dump_c.h"
#include <sstream>
#include <cctype>
#include <util/config.h>
#include <util/invariant.h>
#include <util/prefix.h>
#include <util/suffix.h>
#include <util/find_symbols.h>
#include <util/base_type.h>
#include <util/cprover_prefix.h>
#include <ansi-c/ansi_c_language.h>
#include <cpp/cpp_language.h>
#include "goto_program2code.h"
#include "dump_c_class.h"
Include dependency graph for dump_c.cpp:

Go to the source code of this file.

Macros

#define ADD_TO_SYSTEM_LIBRARY(v, header)
 

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 namespacet &ns, std::ostream &out)
 
void dump_cpp (const goto_functionst &src, const bool use_system_headers, const bool use_all_headers, const namespacet &ns, std::ostream &out)
 

Detailed Description

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

Definition in file dump_c.cpp.

Macro Definition Documentation

§ ADD_TO_SYSTEM_LIBRARY

#define ADD_TO_SYSTEM_LIBRARY (   v,
  header 
)
Value:
for(size_t i=0; i<sizeof(v)/sizeof(char*); ++i) \
system_library_map.insert( \
std::make_pair(v[i], header))

Definition at line 584 of file dump_c.cpp.

Referenced by dump_ct::init_system_library_map().

Function Documentation

§ dump_c()

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

§ dump_cpp()

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

Definition at line 1656 of file dump_c.cpp.

References new_cpp_language().

Referenced by goto_instrument_parse_optionst::doit().

§ find_block_position_rec()

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

§ operator<<()

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

Definition at line 31 of file dump_c.cpp.