dump_c.cpp File Reference
Dump Goto-Program as C/C++ Source. More...
#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 <ansi-c/type2name.h>#include <cpp/cpp_type2name.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 | |
| static std::string | clean_identifier (const irep_idt &id) |
| 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
◆ clean_identifier()
|
static |
Definition at line 35 of file dump_c.cpp.
◆ 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.
◆ expr2c_configuration()
|
static |
Definition at line 1623 of file dump_c.cpp.
◆ find_block_position_rec()
|
static |
Definition at line 1196 of file dump_c.cpp.
◆ module_local_declaration()
|
static |
Definition at line 1695 of file dump_c.cpp.
◆ operator<<()
|
inline |
Definition at line 67 of file dump_c.cpp.
