Dump C from Goto Program. More...

#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:

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

Definition at line 51 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 1668 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 1703 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 1681 of file dump_c.cpp.

Macros

Functions