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 25 of file dump_c_class.h.
|
inline |
Definition at line 51 of file dump_c_class.h.
|
inline |
Definition at line 97 of file dump_c_class.h.
|
inline |
Definition at line 91 of file dump_c_class.h.
|
inline |
Definition at line 67 of file dump_c_class.h.
|
inline |
Definition at line 61 of file dump_c_class.h.
|
inline |
Definition at line 73 of file dump_c_class.h.
|
inline |
Definition at line 85 of file dump_c_class.h.
|
inline |
Definition at line 79 of file dump_c_class.h.
|
inline |
Definition at line 103 of file dump_c_class.h.
|
static |
The default used for dump-c and dump-cpp.
Definition at line 56 of file dump_c_class.h.
bool dump_c_configurationt::follow_compounds = true |
Define whether to follow compunds recursively.
Definition at line 46 of file dump_c_class.h.
bool dump_c_configurationt::include_compounds = true |
Include struct definitions in the dump.
Definition at line 43 of file dump_c_class.h.
bool dump_c_configurationt::include_function_bodies = true |
Include the functions in the dump.
Definition at line 31 of file dump_c_class.h.
bool dump_c_configurationt::include_function_decls = true |
Include the function declarations in the dump.
Definition at line 28 of file dump_c_class.h.
bool dump_c_configurationt::include_global_decls = true |
Include the global declarations in the dump.
Definition at line 34 of file dump_c_class.h.
bool dump_c_configurationt::include_global_vars = true |
Include global variable definitions in the dump.
Definition at line 40 of file dump_c_class.h.
bool dump_c_configurationt::include_headers = false |
Include headers type declarations are borrowed from.
Definition at line 49 of file dump_c_class.h.
bool dump_c_configurationt::include_typedefs = true |
Include the typedefs in the dump.
Definition at line 37 of file dump_c_class.h.
|
static |
The config used for dump-c-type-header.
Definition at line 59 of file dump_c_class.h.