Used for configuring the behaviour of dump_c. More...
#include <dump_c_class.h>
Collaboration diagram for dump_c_configurationt:Public Attributes | |
| bool | include_function_decls = true |
| Include the function declarations in the dump. More... | |
| bool | include_function_bodies = true |
| Include the functions in the dump. More... | |
| bool | include_global_decls = true |
| Include the global declarations in the dump. More... | |
| bool | include_typedefs = true |
| Include the typedefs in the dump. More... | |
| bool | include_global_vars = true |
| Include global variable definitions in the dump. More... | |
| bool | include_compounds = true |
| Include struct definitions in the dump. More... | |
| bool | follow_compounds = true |
| Define whether to follow compunds recursively. More... | |
| bool | include_headers = false |
| Include headers type declarations are borrowed from. More... | |
Static Public Attributes | |
| static dump_c_configurationt | default_configuration |
| The default used for dump-c and dump-cpp. More... | |
| static dump_c_configurationt | type_header_configuration |
| The config used for dump-c-type-header. More... | |
Detailed Description
Used for configuring the behaviour of dump_c.
Definition at line 26 of file dump_c_class.h.
Constructor & Destructor Documentation
◆ dump_c_configurationt()
|
inline |
Definition at line 52 of file dump_c_class.h.
Member Function Documentation
◆ disable_follow_compounds()
|
inline |
Definition at line 98 of file dump_c_class.h.
◆ disable_include_compunds()
|
inline |
Definition at line 92 of file dump_c_class.h.
◆ disable_include_function_bodies()
|
inline |
Definition at line 68 of file dump_c_class.h.
◆ disable_include_function_decls()
|
inline |
Definition at line 62 of file dump_c_class.h.
◆ disable_include_global_decls()
|
inline |
Definition at line 74 of file dump_c_class.h.
◆ disable_include_global_vars()
|
inline |
Definition at line 86 of file dump_c_class.h.
◆ disable_include_typedefs()
|
inline |
Definition at line 80 of file dump_c_class.h.
◆ enable_include_headers()
|
inline |
Definition at line 104 of file dump_c_class.h.
Member Data Documentation
◆ default_configuration
|
static |
The default used for dump-c and dump-cpp.
Definition at line 57 of file dump_c_class.h.
◆ follow_compounds
| bool dump_c_configurationt::follow_compounds = true |
Define whether to follow compunds recursively.
Definition at line 47 of file dump_c_class.h.
◆ include_compounds
| bool dump_c_configurationt::include_compounds = true |
Include struct definitions in the dump.
Definition at line 44 of file dump_c_class.h.
◆ include_function_bodies
| bool dump_c_configurationt::include_function_bodies = true |
Include the functions in the dump.
Definition at line 32 of file dump_c_class.h.
◆ include_function_decls
| bool dump_c_configurationt::include_function_decls = true |
Include the function declarations in the dump.
Definition at line 29 of file dump_c_class.h.
◆ include_global_decls
| bool dump_c_configurationt::include_global_decls = true |
Include the global declarations in the dump.
Definition at line 35 of file dump_c_class.h.
◆ include_global_vars
| bool dump_c_configurationt::include_global_vars = true |
Include global variable definitions in the dump.
Definition at line 41 of file dump_c_class.h.
◆ include_headers
| bool dump_c_configurationt::include_headers = false |
Include headers type declarations are borrowed from.
Definition at line 50 of file dump_c_class.h.
◆ include_typedefs
| bool dump_c_configurationt::include_typedefs = true |
Include the typedefs in the dump.
Definition at line 38 of file dump_c_class.h.
◆ type_header_configuration
|
static |
The config used for dump-c-type-header.
Definition at line 60 of file dump_c_class.h.
The documentation for this struct was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/goto-instrument/dump_c_class.h
- /home/runner/work/cbmc/cbmc/src/goto-instrument/dump_c.cpp
