cprover
|
Used for configuring the behaviour of dump_c. More...
#include <dump_c_class.h>
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... | |
Used for configuring the behaviour of dump_c.
Definition at line 21 of file dump_c_class.h.
|
inline |
Definition at line 47 of file dump_c_class.h.
|
inline |
Definition at line 93 of file dump_c_class.h.
|
inline |
Definition at line 87 of file dump_c_class.h.
|
inline |
Definition at line 63 of file dump_c_class.h.
|
inline |
Definition at line 57 of file dump_c_class.h.
|
inline |
Definition at line 69 of file dump_c_class.h.
|
inline |
Definition at line 81 of file dump_c_class.h.
|
inline |
Definition at line 75 of file dump_c_class.h.
|
inline |
Definition at line 99 of file dump_c_class.h.
|
static |
The default used for dump-c and dump-cpp.
Definition at line 52 of file dump_c_class.h.
bool dump_c_configurationt::follow_compounds = true |
Define whether to follow compunds recursively.
Definition at line 42 of file dump_c_class.h.
bool dump_c_configurationt::include_compounds = true |
Include struct definitions in the dump.
Definition at line 39 of file dump_c_class.h.
bool dump_c_configurationt::include_function_bodies = true |
Include the functions in the dump.
Definition at line 27 of file dump_c_class.h.
bool dump_c_configurationt::include_function_decls = true |
Include the function declarations in the dump.
Definition at line 24 of file dump_c_class.h.
bool dump_c_configurationt::include_global_decls = true |
Include the global declarations in the dump.
Definition at line 30 of file dump_c_class.h.
bool dump_c_configurationt::include_global_vars = true |
Include global variable definitions in the dump.
Definition at line 36 of file dump_c_class.h.
bool dump_c_configurationt::include_headers = false |
Include headers type declarations are borrowed from.
Definition at line 45 of file dump_c_class.h.
bool dump_c_configurationt::include_typedefs = true |
Include the typedefs in the dump.
Definition at line 33 of file dump_c_class.h.
|
static |
The config used for dump-c-type-header.
Definition at line 55 of file dump_c_class.h.