#include <iosfwd>
#include <string>

Include dependency graph for dump_c.h:

This graph shows which files directly or indirectly include this file:

Macros
#define	OPT_DUMP_C

#define	HELP_DUMP_C

Functions
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_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)

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)

Detailed Description

Dump C from Goto Program

Definition in file dump_c.h.

Macro Definition Documentation

◆ HELP_DUMP_C

#define HELP_DUMP_C

Value:

    " --dump-c                     generate C source\n"                        \
    " --dump-c-type-header m       generate a C header for types local in m\n" \
    " --dump-cpp                   generate C++ source\n"                      \
    " --no-system-headers          generate C source expanding libc includes\n"\
    " --use-all-headers            generate C source with all includes\n"      \
    " --harness                    include input generator in output\n"

Definition at line 52 of file dump_c.h.

◆ OPT_DUMP_C

#define OPT_DUMP_C

Value:

  "(dump-c)(dump-cpp)"                                                         \
  "(dump-c-type-header):"                                                      \
  "(no-system-headers)(use-all-headers)(harness)"

Definition at line 46 of file dump_c.h.

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.

Macros

Functions