cpp_expr2stringt Class Reference

Inheritance diagram for cpp_expr2stringt:

Public Member Functions
	cpp_expr2stringt (const namespacet &_ns, unsigned _flags)
std::string	convert (const exprt &src) override
std::string	convert (const typet &src) override
Public Member Functions inherited from c_expr2stringt
	c_expr2stringt (const namespacet &_ns, unsigned _flags)
virtual	~c_expr2stringt ()=default
void	get_shorthands (const exprt &expr)

Protected Types
typedef std::unordered_set< std::string >	id_sett

Protected Member Functions
std::string	convert (const exprt &src, unsigned &precedence) override
virtual std::string	convert_cpp_this (const exprt &src, unsigned precedence)
virtual std::string	convert_cpp_new (const exprt &src, unsigned precedence)
virtual std::string	convert_code_cpp_delete (const exprt &src, unsigned precedence)
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 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 c_expr2stringt
void	get_symbols (const exprt &expr)
std::string	id_shorthand (const exprt &expr) const
virtual std::string	convert_typecast (const exprt &src, unsigned &precedence)
std::string	convert_bitcast (const exprt &src, unsigned &precedence)
std::string	convert_implicit_address_of (const exprt &src, unsigned &precedence)
std::string	convert_binary (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)
virtual std::string	convert_member (const exprt &src, unsigned precedence)
std::string	convert_pointer_object_has_type (const exprt &src, unsigned precedence)
virtual std::string	convert_array_of (const exprt &src, unsigned precedence)
std::string	convert_trinary (const exprt &src, const std::string &symbol1, const std::string &symbol2, unsigned precedence)
std::string	convert_overflow (const exprt &src, unsigned &precedence)
std::string	convert_quantifier (const exprt &src, const std::string &symbol, unsigned precedence)
std::string	convert_with (const exprt &src, unsigned precedence)
std::string	convert_index (const exprt &src, unsigned precedence)
std::string	convert_byte_extract (const exprt &src, unsigned precedence)
std::string	convert_byte_update (const exprt &src, unsigned precedence)
std::string	convert_extractbit (const exprt &src, unsigned precedence)
std::string	convert_sizeof (const exprt &src, unsigned precedence)
std::string	convert_extract (const exprt &src)
std::string	convert_unary (const exprt &src, const std::string &symbol, unsigned precedence)
std::string	convert_unary_post (const exprt &src, const std::string &symbol, unsigned precedence)
std::string	convert_function (const exprt &src, const std::string &symbol, 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 codet &src, unsigned indent)
virtual std::string	convert_code_assign (const codet &src, unsigned indent)
virtual std::string	convert_code_free (const codet &src, unsigned indent)
std::string	convert_code_init (const codet &src, unsigned indent)
std::string	convert_code_ifthenelse (const codet &src, unsigned indent)
std::string	convert_code_for (const codet &src, unsigned indent)
std::string	convert_code_while (const codet &src, unsigned indent)
std::string	convert_code_dowhile (const codet &src, unsigned indent)
std::string	convert_code_block (const codet &src, unsigned indent)
std::string	convert_code_expression (const codet &src, unsigned indent)
virtual std::string	convert_code_return (const codet &src, unsigned indent)
std::string	convert_code_goto (const codet &src, unsigned indent)
std::string	convert_code_gcc_goto (const codet &src, unsigned indent)
virtual std::string	convert_code_assume (const codet &src, unsigned indent)
virtual std::string	convert_code_assert (const codet &src, unsigned indent)
std::string	convert_code_break (const codet &src, unsigned indent)
std::string	convert_code_switch (const codet &src, unsigned indent)
std::string	convert_code_continue (const codet &src, unsigned indent)
virtual std::string	convert_code_decl (const codet &src, 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)
virtual std::string	convert_code_printf (const codet &src, unsigned indent)
std::string	convert_function_call (const exprt &src, unsigned &precedence)
virtual std::string	convert_malloc (const exprt &src, unsigned &precedence)
virtual std::string	convert_realloc (const exprt &src, unsigned &precedence)
virtual std::string	convert_alloca (const exprt &src, unsigned &precedence)
virtual std::string	convert_nondet (const exprt &src, unsigned &precedence)
std::string	convert_statement_expression (const exprt &src, unsigned &precedence)
virtual std::string	convert_symbol (const exprt &src, unsigned &precedence)
std::string	convert_predicate_symbol (const exprt &src, unsigned &precedence)
std::string	convert_predicate_next_symbol (const exprt &src, unsigned &precedence)
std::string	convert_nondet_symbol (const exprt &src, unsigned &precedence)
std::string	convert_quantified_symbol (const exprt &src, unsigned &precedence)
std::string	convert_nondet_bool (const exprt &src, unsigned &precedence)
std::string	convert_object_descriptor (const exprt &src, unsigned &precedence)
std::string	convert_norep (const exprt &src, unsigned &precedence)
virtual std::string	convert_struct_union_body (const exprt &src, const exprt::operandst &operands, const struct_union_typet::componentst &components)
virtual std::string	convert_union (const exprt &src, unsigned &precedence)
std::string	convert_array (const exprt &src, unsigned &precedence)
std::string	convert_array_list (const exprt &src, unsigned &precedence)
std::optional< std::string >	is_recursively_zero (const exprt &op)

Additional Inherited Members
Public Types inherited from c_expr2stringt
enum	flagst : unsigned { SHORT_ZERO_COMPOUNDS = 1 << 0 , UNIQUE_FLOAT_REPR = 1 << 1 }
Static Protected Member Functions inherited from c_expr2stringt
static std::string	indent_str (unsigned indent)
Protected Attributes inherited from c_expr2stringt
const namespacet &	ns
unsigned	flags
std::set< exprt >	symbols
std::map< irep_idt, exprt >	shorthands
std::set< irep_idt >	ns_collision

Member Typedef Documentation

id_sett

typedef std::unordered_set<std::string> cpp_expr2stringt::id_sett

protected

Constructor & Destructor Documentation

cpp_expr2stringt()

cpp_expr2stringt::cpp_expr2stringt ( const namespacet & _ns, unsigned _flags )

inline

Member Function Documentation

convert() [1/3]

std::string cpp_expr2stringt::convert ( const exprt & src )

inlineoverridevirtual

Reimplemented from c_expr2stringt.

convert() [2/3]

std::string cpp_expr2stringt::convert ( const exprt & src, unsigned & precedence )

overrideprotectedvirtual

Reimplemented from c_expr2stringt.

convert() [3/3]

std::string cpp_expr2stringt::convert ( const typet & src )

inlineoverridevirtual

Reimplemented from c_expr2stringt.

convert_code()

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

overrideprotectedvirtual

Reimplemented from c_expr2stringt.

convert_code_cpp_delete()

std::string cpp_expr2stringt::convert_code_cpp_delete ( const exprt & src, unsigned precedence )

protectedvirtual

convert_constant()

std::string cpp_expr2stringt::convert_constant ( const exprt & src, unsigned & precedence )

overrideprotectedvirtual

Reimplemented from c_expr2stringt.

convert_cpp_new()

std::string cpp_expr2stringt::convert_cpp_new ( const exprt & src, unsigned precedence )

protectedvirtual

convert_cpp_this()

std::string cpp_expr2stringt::convert_cpp_this ( const exprt & src, unsigned precedence )

protectedvirtual

convert_rec()

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

overrideprotectedvirtual

Reimplemented from c_expr2stringt.

convert_struct()

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

overrideprotectedvirtual

Reimplemented from c_expr2stringt.

---

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

• src/util/lang/cpp_expr2string.cpp