9#ifndef CPROVER_UTIL_STRING_CONSTANT_H
10#define CPROVER_UTIL_STRING_CONSTANT_H
30 return type().element_type();
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Array constructor from list of elements.
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
const irep_idt & get(const irep_idt &name) const
const irep_idt & id() const
An expression without operands.
const array_typet & type() const
const typet & char_type() const
const irep_idt & value() const
array_exprt to_array_expr() const
convert string into array constant
The type of an expression, extends irept.
void validate_operands(const exprt &value, exprt::operandst::size_type number, const char *message, bool allow_more=false)
#define PRECONDITION(CONDITION)
API to expression classes.
void validate_expr(const string_constantt &expr)
bool can_cast_expr< string_constantt >(const exprt &base)
const string_constantt & to_string_constant(const exprt &expr)