Go to the documentation of this file.
32 const std::string &_format,
33 const std::list<exprt> &_operands)
56 std::ostringstream stream;
109 out << format_constant(
118 out << format_constant(
125 if(format_constant.precision==0)
126 format_constant.precision=1;
129 out << format_constant(
139 if(op.
id()==ID_address_of &&
141 op.
op0().
id()==ID_index &&
143 op.
op0().
op0().
id()==ID_string_constant)
144 out << format_constant(op.
op0().
op0());
151 out << format_constant(
158 out << format_constant(
165 out << format_constant(
172 out << format_constant(
The type of an expression, extends irept.
Base class for all expressions.
unsignedbv_typet unsigned_long_int_type()
typet & type()
Return the type of the expression.
signedbv_typet signed_int_type()
bool simplify(exprt &expr, const namespacet &ns)
unsignedbv_typet unsigned_int_type()
const irep_idt & id() const
floatbv_typet double_type()
signedbv_typet signed_long_int_type()
void make_typecast(const typet &_type)
Create a typecast_exprt to the given type.