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())
The type of an expression, extends irept.
const std::string & id2string(const irep_idt &d)
std::string to_string(const string_not_contains_constraintt &expr)
Used for debug printing.
const code_typet & to_code_type(const typet &type)
Cast a typet to a code_typet.
std::vector< parametert > parameterst
bool get_bool(const irep_namet &name) const
#define forall_named_irep(it, irep)
const irep_idt & id() const
const std::string & name2string(const irep_namet &n)
bool is_reference(const typet &type)
Returns true if the type is a reference.
const irep_idt & get(const irep_namet &name) const
named_subt & get_comments()
std::string cpp_type2name(const typet &type)
Base class for tree-like data structures with sharing.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
named_subt & get_named_sub()
Base class for all expressions.
bool is_rvalue_reference(const typet &type)
Returns if the type is an R value reference.
const parameterst & parameters() const
static void irep2name(const irept &irep, std::string &result)
const std::string & id_string() const
static std::string do_prefix(const std::string &s)
std::string cpp_expr2name(const exprt &expr)
const typet & subtype() const
const typet & return_type() const
Defines typet, type_with_subtypet and type_with_subtypest.
#define forall_irep(it, irep)