dump_c.cpp File Reference

#include "dump_c.h"
#include "dump_c_class.h"
#include <util/byte_operators.h>
#include <util/c_types.h>
#include <util/config.h>
#include <util/expr_initializer.h>
#include <util/expr_util.h>
#include <util/find_symbols.h>
#include <util/get_base_name.h>
#include <util/invariant.h>
#include <util/prefix.h>
#include <util/replace_symbol.h>
#include <util/string_utils.h>
#include <ansi-c/expr2c.h>
#include <cpp/expr2cpp.h>
#include <linking/static_lifetime_init.h>
#include "goto_program2code.h"

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)
static expr2c_configurationt	expr2c_configuration ()
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 1591 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 1626 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 1604 of file dump_c.cpp.

expr2c_configuration()

static expr2c_configurationt expr2c_configuration ( )

static

Definition at line 1546 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 1140 of file dump_c.cpp.

module_local_declaration()

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

static

Definition at line 1618 of file dump_c.cpp.

operator<<()

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

inline

Definition at line 43 of file dump_c.cpp.