Go to the documentation of this file.
22 if(s.find(
',') != std::string::npos || (!s.empty() && isdigit(s[0])))
36 result +=
"rvalue_reference";
38 if(irep.
id() == ID_frontend_pointer)
41 result +=
"reference";
43 if(irep.
get_bool(ID_C_rvalue_reference))
44 result +=
"rvalue_reference";
70 if(it->first==ID_C_constant ||
71 it->first==ID_C_volatile ||
72 it->first==ID_C_restricted)
105 result+=
"restricted_";
110 if(type.
id()==ID_empty || type.
id()==ID_void)
112 else if(type.
id() == ID_c_bool)
114 else if(type.
id() == ID_bool)
116 else if(type.
id()==ID_pointer)
125 else if(type.
id()==ID_signedbv || type.
id()==ID_unsignedbv)
132 else if(type.
id()==ID_unsignedbv)
133 result+=
"unsigned_int";
135 result+=
"signed_int";
137 else if(type.
id()==ID_fixedbv || type.
id()==ID_floatbv)
147 else if(type.
id()==ID_code)
155 for(code_typet::parameterst::const_iterator
156 arg_it=parameters.begin();
157 arg_it!=parameters.end();
160 if(arg_it!=parameters.begin())
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
static bool is_comment(const irep_namet &name)
const typet & subtype() const
The type of an expression, extends irept.
std::vector< parametert > parameterst
Base class for all expressions.
std::string to_string(const string_not_contains_constraintt &expr)
Used for debug printing.
static std::string irep2name(const irept &irep)
Defines typet, type_with_subtypet and type_with_subtypest.
bool get_bool(const irep_namet &name) const
const code_typet & to_code_type(const typet &type)
Cast a typet to a code_typet.
const std::string & id2string(const irep_idt &d)
named_subt & get_named_sub()
#define forall_named_irep(it, irep)
const std::string & id_string() const
const irep_idt & id() const
const parameterst & parameters() const
static std::string do_prefix(const std::string &s)
#define forall_irep(it, irep)
std::string cpp_type2name(const typet &type)
bool is_reference(const typet &type)
Returns true if the type is a reference.
const irep_idt & get(const irep_namet &name) const
const std::string & name2string(const irep_namet &n)
bool is_rvalue_reference(const typet &type)
Returns if the type is an R value reference.
const typet & return_type() const
There are a large number of kinds of tree structured or tree-like data in CPROVER.
std::string cpp_expr2name(const exprt &expr)