dump_c.h File Reference

Dump C from Goto Program. More...

#include <goto-programs/goto_functions.h>

Include dependency graph for dump_c.h:

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

Go to the source code of this file.

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_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.

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 1403 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 1421 of file dump_c.cpp.