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:

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
	)

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().

◆ 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

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().

◆ operator<<()

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

inline

Definition at line 31 of file dump_c.cpp.

Macros

Functions