Go to the documentation of this file.
10 #ifndef CPROVER_ANSI_C_EXPR2C_H
11 #define CPROVER_ANSI_C_EXPR2C_H
83 const std::string &identifier,
87 #endif // CPROVER_ANSI_C_EXPR2C_H
The type of an expression, extends irept.
bool use_library_macros
This is the string that will be printed for null pointers.
std::string expr2c(const exprt &expr, const namespacet &ns)
Base class for all expressions.
static expr2c_configurationt default_configuration
This prints a human readable C like syntax that closely mirrors the internals of the GOTO program.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
std::string type2c(const typet &type, const namespacet &ns)
bool include_struct_padding_components
When printing struct_typet or struct_exprt, include the artificial padding components introduced to k...
bool print_struct_body_in_type
When printing a struct_typet, should the components of the struct be printed inline.
static expr2c_configurationt clean_configuration
This prints compilable C that loses some of the internal details of the GOTO program.
bool include_array_size
When printing array_typet, should the size of the array be printed.
expr2c_configurationt(const bool include_struct_padding_components, const bool print_struct_body_in_type, const bool include_array_size, const std::string &true_string, const std::string &false_string, const bool use_library_macros)
Used for configuring the behaviour of expr2c and type2c.
std::string true_string
This is the string that will be printed for the true boolean expression.
std::string false_string
This is the string that will be printed for the false boolean expression.