22 if(expr.
type().
id()==ID_natural ||
23 expr.
type().
id()==ID_integer ||
24 expr.
type().
id()==ID_unsignedbv ||
25 expr.
type().
id()==ID_signedbv)
29 return "(number conversion failed)";
33 else if(expr.
type().
id()==ID_fixedbv)
37 else if(expr.
type().
id()==ID_floatbv)
42 else if(expr.
id()==ID_string_constant)
45 return "(format-constant failed: "+expr.
id_string()+
")";
const std::string integer2string(const mp_integer &n, unsigned base)
const irep_idt & id() const
API to expression classes.
std::string format(const format_spect &format_spec) const
const constant_exprt & to_constant_expr(const exprt &expr)
Cast a generic exprt to a constant_exprt.
std::string format(const format_spect &format_spec) const
Base class for all expressions.
const std::string & get_string(const irep_namet &name) const
const std::string & id_string() const