cprover
|
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"
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) |
Dump Goto-Program as C/C++ Source.
Definition in file dump_c.cpp.
#define ADD_TO_SYSTEM_LIBRARY | ( | v, | |
header | |||
) |
Definition at line 584 of file dump_c.cpp.
Referenced by dump_ct::init_system_library_map().
void dump_c | ( | const goto_functionst & | src, |
const bool | use_system_headers, | ||
const bool | use_all_headers, | ||
const namespacet & | ns, | ||
std::ostream & | out | ||
) |
Definition at line 1644 of file dump_c.cpp.
References new_ansi_c_language().
Referenced by clobber_parse_optionst::doit(), and goto_instrument_parse_optionst::doit().
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().
|
static |
Definition at line 1303 of file dump_c.cpp.
References find_type_and_expr_symbols(), Forall_expr, codet::get_statement(), exprt::has_operands(), exprt::operands(), to_code(), and to_code_block().
Referenced by dump_ct::insert_local_static_decls(), and dump_ct::insert_local_type_decls().
|
inline |
Definition at line 31 of file dump_c.cpp.