Go to the documentation of this file.
22 if(s.find(
',')!=std::string::npos ||
23 (s!=
"" && isdigit(s[0])))
63 if(it->first==ID_C_constant ||
64 it->first==ID_C_volatile ||
65 it->first==ID_C_restricted)
100 result+=
"restricted_";
105 if(type.
id()==ID_empty || type.
id()==ID_void)
107 else if(type.
id() == ID_c_bool)
109 else if(type.
id() == ID_bool)
111 else if(type.
id()==ID_pointer)
120 else if(type.
id()==ID_signedbv || type.
id()==ID_unsignedbv)
127 else if(type.
id()==ID_unsignedbv)
128 result+=
"unsigned_int";
130 result+=
"signed_int";
132 else if(type.
id()==ID_fixedbv || type.
id()==ID_floatbv)
142 else if(type.
id()==ID_code)
150 for(code_typet::parameterst::const_iterator
151 arg_it=parameters.begin();
152 arg_it!=parameters.end();
155 if(arg_it!=parameters.begin())
static void irep2name(const irept &irep, std::string &result)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
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.
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)
named_subt & get_comments()
bool is_rvalue_reference(const typet &type)
Returns if the type is an R value reference.
const typet & return_type() const
Base class for tree-like data structures with sharing.
std::string cpp_expr2name(const exprt &expr)