expr2cppt Class Reference

Inheritance diagram for expr2cppt:

Collaboration diagram for expr2cppt:

Public Member Functions
	expr2cppt (const namespacet &_ns)
Public Member Functions inherited from expr2ct
	expr2ct (const namespacet &_ns, const expr2c_configurationt &configuration=expr2c_configurationt::default_configuration)
virtual	~expr2ct ()
virtual std::string	convert (const typet &src)
virtual std::string	convert (const exprt &src)
void	get_shorthands (const exprt &expr)
std::string	convert_with_identifier (const typet &src, const std::string &identifier)
	Build a declaration string, which requires converting both a type and putting an identifier in the syntactically correct position. More...

Protected Member Functions
std::string	convert_with_precedence (const exprt &src, unsigned &precedence) override
std::string	convert_cpp_this ()
std::string	convert_cpp_new (const exprt &src)
std::string	convert_extractbit (const exprt &src)
std::string	convert_code_cpp_delete (const exprt &src, unsigned indent)
std::string	convert_code_cpp_new (const exprt &src, unsigned indent)
std::string	convert_struct (const exprt &src, unsigned &precedence) override
std::string	convert_code (const codet &src, unsigned indent) override
std::string	convert_constant (const constant_exprt &src, unsigned &precedence) override
std::string	convert_rec (const typet &src, const c_qualifierst &qualifiers, const std::string &declarator) override
Protected Member Functions inherited from expr2ct
virtual std::string	convert_struct_type (const typet &src, const std::string &qualifiers_str, const std::string &declarator_str)
	To generate C-like string for defining the given struct. More...
std::string	convert_struct_type (const typet &src, const std::string &qualifer_str, const std::string &declarator_str, bool inc_struct_body, bool inc_padding_components)
	To generate C-like string for declaring (or defining) the given struct. More...
virtual std::string	convert_array_type (const typet &src, const c_qualifierst &qualifiers, const std::string &declarator_str)
	To generate a C-like type declaration of an array. More...
std::string	convert_array_type (const typet &src, const c_qualifierst &qualifiers, const std::string &declarator_str, bool inc_size_if_possible)
	To generate a C-like type declaration of an array. More...
irep_idt	id_shorthand (const irep_idt &identifier) const
std::string	convert_typecast (const typecast_exprt &src, unsigned &precedence)
std::string	convert_pointer_arithmetic (const exprt &src, unsigned &precedence)
std::string	convert_pointer_difference (const exprt &src, unsigned &precedence)
std::string	convert_binary (const binary_exprt &, const std::string &symbol, unsigned precedence, bool full_parentheses)
std::string	convert_multi_ary (const exprt &src, const std::string &symbol, unsigned precedence, bool full_parentheses)
std::string	convert_cond (const exprt &src, unsigned precedence)
std::string	convert_struct_member_value (const exprt &src, unsigned precedence)
std::string	convert_array_member_value (const exprt &src, unsigned precedence)
std::string	convert_member (const member_exprt &src, unsigned precedence)
std::string	convert_array_of (const exprt &src, unsigned precedence)
std::string	convert_trinary (const ternary_exprt &src, const std::string &symbol1, const std::string &symbol2, unsigned precedence)
std::string	convert_rox (const shift_exprt &src, unsigned precedence)
	Conversion function from rol/ror expressions to C code strings Note that this constructs a complex expression to do bit twiddling since rol/ror operations are not native to ANSI-C. More...
std::string	convert_overflow (const exprt &src, unsigned &precedence)
std::string	convert_binding (const binding_exprt &, const std::string &symbol, unsigned precedence)
std::string	convert_with (const exprt &src, unsigned precedence)
std::string	convert_update (const update_exprt &, unsigned precedence)
std::string	convert_member_designator (const exprt &src)
std::string	convert_index_designator (const exprt &src)
std::string	convert_index (const binary_exprt &, unsigned precedence)
std::string	convert_byte_extract (const byte_extract_exprt &, unsigned precedence)
std::string	convert_byte_update (const byte_update_exprt &, unsigned precedence)
std::string	convert_extractbit (const extractbit_exprt &, unsigned precedence)
std::string	convert_extractbits (const extractbits_exprt &src, unsigned precedence)
std::string	convert_unary (const unary_exprt &, const std::string &symbol, unsigned precedence)
std::string	convert_unary_post (const exprt &src, const std::string &symbol, unsigned precedence)
std::optional< std::string >	convert_function (const exprt &src)
	Returns a string if src is a function with a known conversion, else returns nullopt. More...
std::string	convert_function (const exprt &src, const std::string &symbol)
std::string	convert_complex (const exprt &src, unsigned precedence)
std::string	convert_comma (const exprt &src, unsigned precedence)
std::string	convert_Hoare (const exprt &src)
std::string	convert_code (const codet &src)
std::string	convert_code_label (const code_labelt &src, unsigned indent)
std::string	convert_code_switch_case (const code_switch_caset &src, unsigned indent)
std::string	convert_code_asm (const code_asmt &src, unsigned indent)
std::string	convert_code_frontend_assign (const code_frontend_assignt &, unsigned indent)
std::string	convert_code_ifthenelse (const code_ifthenelset &src, unsigned indent)
std::string	convert_code_for (const code_fort &src, unsigned indent)
std::string	convert_code_while (const code_whilet &src, unsigned indent)
std::string	convert_code_dowhile (const code_dowhilet &src, unsigned indent)
std::string	convert_code_block (const code_blockt &src, unsigned indent)
std::string	convert_code_expression (const codet &src, unsigned indent)
std::string	convert_code_return (const codet &src, unsigned indent)
std::string	convert_code_goto (const codet &src, unsigned indent)
std::string	convert_code_assume (const codet &src, unsigned indent)
std::string	convert_code_assert (const codet &src, unsigned indent)
std::string	convert_code_break (unsigned indent)
std::string	convert_code_switch (const codet &src, unsigned indent)
std::string	convert_code_continue (unsigned indent)
std::string	convert_code_frontend_decl (const codet &, unsigned indent)
std::string	convert_code_decl_block (const codet &src, unsigned indent)
std::string	convert_code_dead (const codet &src, unsigned indent)
std::string	convert_code_function_call (const code_function_callt &src, unsigned indent)
std::string	convert_code_lock (const codet &src, unsigned indent)
std::string	convert_code_unlock (const codet &src, unsigned indent)
std::string	convert_code_printf (const codet &src, unsigned indent)
std::string	convert_code_fence (const codet &src, unsigned indent)
std::string	convert_code_input (const codet &src, unsigned indent)
std::string	convert_code_output (const codet &src, unsigned indent)
std::string	convert_code_array_set (const codet &src, unsigned indent)
std::string	convert_code_array_copy (const codet &src, unsigned indent)
std::string	convert_code_array_replace (const codet &src, unsigned indent)
std::string	convert_function_application (const function_application_exprt &src)
std::string	convert_side_effect_expr_function_call (const side_effect_expr_function_callt &src)
std::string	convert_allocate (const exprt &src, unsigned &precedence)
std::string	convert_nondet (const exprt &src, unsigned &precedence)
std::string	convert_prob_coin (const exprt &src, unsigned &precedence)
std::string	convert_prob_uniform (const exprt &src, unsigned &precedence)
std::string	convert_statement_expression (const exprt &src, unsigned &precendence)
virtual std::string	convert_symbol (const exprt &src)
std::string	convert_predicate_symbol (const exprt &src)
std::string	convert_predicate_next_symbol (const exprt &src)
std::string	convert_predicate_passive_symbol (const exprt &src)
std::string	convert_nondet_symbol (const nondet_symbol_exprt &)
std::string	convert_quantified_symbol (const exprt &src)
std::string	convert_nondet_bool ()
std::string	convert_object_descriptor (const exprt &src, unsigned &precedence)
std::string	convert_literal (const exprt &src)
virtual std::string	convert_constant_bool (bool boolean_value)
	To get the C-like representation of a given boolean value. More...
virtual std::string	convert_annotated_pointer_constant (const annotated_pointer_constant_exprt &src, unsigned &precedence)
std::string	convert_norep (const exprt &src, unsigned &precedence)
std::string	convert_union (const exprt &src, unsigned &precedence)
std::string	convert_vector (const exprt &src, unsigned &precedence)
std::string	convert_array (const exprt &src)
std::string	convert_array_list (const exprt &src, unsigned &precedence)
std::string	convert_initializer_list (const exprt &src)
std::string	convert_designated_initializer (const exprt &src)
std::string	convert_concatenation (const exprt &src, unsigned &precedence)
std::string	convert_sizeof (const exprt &src, unsigned &precedence)
std::string	convert_let (const let_exprt &, unsigned precedence)
std::string	convert_struct (const exprt &src, unsigned &precedence, bool include_padding_components)
	To generate a C-like string representing a struct. More...
std::string	convert_conditional_target_group (const exprt &src)
std::string	convert_bitreverse (const bitreverse_exprt &src)
std::string	convert_r_or_w_ok (const r_or_w_ok_exprt &src)
std::string	convert_prophecy_r_or_w_ok (const prophecy_r_or_w_ok_exprt &src)
std::string	convert_pointer_in_range (const pointer_in_range_exprt &src)
std::string	convert_prophecy_pointer_in_range (const prophecy_pointer_in_range_exprt &src)

Additional Inherited Members
Static Protected Member Functions inherited from expr2ct
static std::string	indent_str (unsigned indent)
Protected Attributes inherited from expr2ct
const namespacet &	ns
const expr2c_configurationt &	configuration
std::unordered_map< irep_idt, std::unordered_set< irep_idt > >	ns_collision
std::unordered_map< irep_idt, irep_idt >	shorthands
unsigned	sizeof_nesting

Detailed Description

Definition at line 25 of file expr2cpp.cpp.

Constructor & Destructor Documentation

expr2cppt()

expr2cppt::expr2cppt ( const namespacet &  _ns )

inlineexplicit

Definition at line 28 of file expr2cpp.cpp.

Member Function Documentation

convert_code()

std::string expr2cppt::convert_code ( const codet &  src, unsigned  indent  )

overrideprotectedvirtual

Reimplemented from expr2ct.

Definition at line 462 of file expr2cpp.cpp.

convert_code_cpp_delete()

std::string expr2cppt::convert_code_cpp_delete ( const exprt &  src, unsigned  indent  )

protected

Definition at line 402 of file expr2cpp.cpp.

convert_code_cpp_new()

std::string expr2cppt::convert_code_cpp_new ( const exprt &  src, unsigned  indent  )

protected

Definition at line 397 of file expr2cpp.cpp.

convert_constant()

std::string expr2cppt::convert_constant ( const constant_exprt &  src, unsigned &  precedence  )

overrideprotectedvirtual

Reimplemented from expr2ct.

Definition at line 115 of file expr2cpp.cpp.

convert_cpp_new()

std::string expr2cppt::convert_cpp_new ( const exprt &  src )

protected

Definition at line 374 of file expr2cpp.cpp.

convert_cpp_this()

std::string expr2cppt::convert_cpp_this ( )

protected

Definition at line 369 of file expr2cpp.cpp.

convert_extractbit()

std::string expr2cppt::convert_extractbit ( const exprt &  src )

protected

Definition at line 479 of file expr2cpp.cpp.

convert_rec()

std::string expr2cppt::convert_rec ( const typet &  src, const c_qualifierst &  qualifiers, const std::string &  declarator  )

overrideprotectedvirtual

Reimplemented from expr2ct.

Definition at line 131 of file expr2cpp.cpp.

convert_struct()

std::string expr2cppt::convert_struct ( const exprt &  src, unsigned &  precedence  )

overrideprotectedvirtual

Reimplemented from expr2ct.

Definition at line 49 of file expr2cpp.cpp.

convert_with_precedence()

std::string expr2cppt::convert_with_precedence ( const exprt &  src, unsigned &  precedence  )

overrideprotectedvirtual

Reimplemented from expr2ct.

Definition at line 421 of file expr2cpp.cpp.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/cpp/expr2cpp.cpp