cprover
expr2c_configurationt Struct Referencefinal

Used for configuring the behaviour of expr2c and type2c. More...

#include <expr2c.h>

+ Collaboration diagram for expr2c_configurationt:

Public Member Functions

 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)
 

Public Attributes

bool include_struct_padding_components
 When printing struct_typet or struct_exprt, include the artificial padding components introduced to keep the struct aligned. More...
 
bool print_struct_body_in_type
 When printing a struct_typet, should the components of the struct be printed inline. More...
 
bool include_array_size
 When printing array_typet, should the size of the array be printed. More...
 
std::string true_string
 This is the string that will be printed for the true boolean expression. More...
 
std::string false_string
 This is the string that will be printed for the false boolean expression. More...
 
bool use_library_macros
 This is the string that will be printed for null pointers. More...
 

Static Public Attributes

static expr2c_configurationt default_configuration
 This prints a human readable C like syntax that closely mirrors the internals of the GOTO program. More...
 
static expr2c_configurationt clean_configuration
 This prints compilable C that loses some of the internal details of the GOTO program. More...
 

Detailed Description

Used for configuring the behaviour of expr2c and type2c.

Definition at line 20 of file expr2c.h.

Constructor & Destructor Documentation

◆ expr2c_configurationt()

expr2c_configurationt::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 
)
inline

Definition at line 42 of file expr2c.h.

Member Data Documentation

◆ clean_configuration

expr2c_configurationt expr2c_configurationt::clean_configuration
static
Initial value:
{
false,
false,
false,
"1",
"0",
false
}

This prints compilable C that loses some of the internal details of the GOTO program.

Definition at line 64 of file expr2c.h.

◆ default_configuration

expr2c_configurationt expr2c_configurationt::default_configuration
static
Initial value:
{
true,
true,
true,
"TRUE",
"FALSE",
true
}

This prints a human readable C like syntax that closely mirrors the internals of the GOTO program.

Definition at line 60 of file expr2c.h.

◆ false_string

std::string expr2c_configurationt::false_string

This is the string that will be printed for the false boolean expression.

Definition at line 37 of file expr2c.h.

◆ include_array_size

bool expr2c_configurationt::include_array_size

When printing array_typet, should the size of the array be printed.

Definition at line 31 of file expr2c.h.

◆ include_struct_padding_components

bool expr2c_configurationt::include_struct_padding_components

When printing struct_typet or struct_exprt, include the artificial padding components introduced to keep the struct aligned.

Definition at line 24 of file expr2c.h.

◆ print_struct_body_in_type

bool expr2c_configurationt::print_struct_body_in_type

When printing a struct_typet, should the components of the struct be printed inline.

Definition at line 28 of file expr2c.h.

◆ true_string

std::string expr2c_configurationt::true_string

This is the string that will be printed for the true boolean expression.

Definition at line 34 of file expr2c.h.

◆ use_library_macros

bool expr2c_configurationt::use_library_macros

This is the string that will be printed for null pointers.

Definition at line 40 of file expr2c.h.


The documentation for this struct was generated from the following files: