cprover
|
Dump C from Goto Program. More...
#include <goto-programs/goto_functions.h>
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_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) |
Dump C from Goto Program.
Definition in file dump_c.h.
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 1462 of file dump_c.cpp.
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 1507 of file dump_c.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 1480 of file dump_c.cpp.