21 if(s.find(
',')!=std::string::npos ||
22 (s!=
"" && isdigit(s[0])))
62 if(it->first==ID_C_constant ||
63 it->first==ID_C_volatile ||
64 it->first==ID_C_restricted)
99 result+=
"restricted_";
104 if(type.
id()==ID_empty || type.
id()==ID_void)
106 else if(type.
id()==ID_bool)
108 else if(type.
id()==ID_pointer)
117 else if(type.
id()==ID_signedbv || type.
id()==ID_unsignedbv)
124 else if(type.
id()==ID_unsignedbv)
125 result+=
"unsigned_int";
127 result+=
"signed_int";
129 else if(type.
id()==ID_fixedbv || type.
id()==ID_floatbv)
139 else if(type.
id()==ID_code)
147 for(code_typet::parameterst::const_iterator
148 arg_it=parameters.begin();
149 arg_it!=parameters.end();
152 if(arg_it!=parameters.begin())
The type of an expression.
const std::string & id2string(const irep_idt &d)
const code_typet & to_code_type(const typet &type)
Cast a generic 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)
TO_BE_DOCUMENTED.
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.
named_subt & get_named_sub()
Base class for all expressions.
bool is_rvalue_reference(const typet &type)
TO_BE_DOCUMENTED.
const parameterst & parameters() const
std::string to_string(const string_constraintt &expr)
Used for debug printing.
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
#define forall_irep(it, irep)