58 std::cout <<
"cpp_convert_typet::read_rec: "
83 other.push_back(type);
87 other.push_back(type);
112 other.push_back(type);
124 other.push_back(type);
152 other.push_back(type);
170 if(!parameters.empty() && parameters.back().id() ==
ID_ellipsis)
173 parameters.pop_back();
225 throw "expected simple name as parameter";
236 throw "ellipsis only allowed as last parameter";
243 if(parameters.size() == 1 && parameters.front().type().id() ==
ID_empty)
254 error() <<
"illegal type modifier for defined type" <<
eom;
268 throw "illegal type modifier for C++ bool";
283 throw "illegal type modifier for wchar_t";
298 throw "illegal type modifier for char16_t";
313 throw "illegal type modifier for char32_t";
ANSI-C Language Conversion.
unsignedbv_typet char32_t_type()
pointer_typet pointer_type(const typet &subtype)
bitvector_typet wchar_t_type()
unsignedbv_typet char16_t_type()
virtual void clear()
Reset the abstract state.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
virtual void read_rec(const typet &type)
virtual void read(const typet &type)
virtual void write(typet &type)
virtual void set_attributes(typet &type) const
Add qualifiers and GCC attributes onto type.
unsigned gcc_float64x_cnt
source_locationt source_location
virtual void build_type_with_subtype(typet &type) const
Build a vector or complex type with type as subtype.
c_qualifierst c_qualifiers
std::vector< parametert > parameterst
const parameterst & parameters() const
const typet & return_type() const
struct configt::ansi_ct ansi_c
std::size_t char32_t_count
void write(typet &type) override
cpp_convert_typet(message_handlert &message_handler, const typet &type)
std::size_t char16_t_count
void read_rec(const typet &type) override
std::size_t wchar_t_count
void read_template(const typet &type)
void read_function_type(const typet &type)
typet merge_type(const typet &declaration_type) const
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
typet & type()
Return the type of the expression.
There are a large number of kinds of tree structured or tree-like data in CPROVER.
bool get_bool(const irep_idt &name) const
std::string pretty(unsigned indent=0, unsigned max_indent=0) const
const irept & find(const irep_idt &name) const
const irep_idt & get(const irep_idt &name) const
void set(const irep_idt &name, const irep_idt &value)
const irep_idt & id() const
irept & add(const irep_idt &name)
source_locationt source_location
message_handlert * message_handler
message_handlert & get_message_handler()
The pointer type These are both 'bitvector_typet' (they have a width) and 'type_with_subtypet' (they ...
The type of an expression, extends irept.
const typet & subtype() const
const source_locationt & source_location() const
void cpp_convert_auto(typet &dest, const typet &src, message_handlert &message_handler)
void cpp_convert_plain_type(typet &type, message_handlert &message_handler)
C++ Language Type Checking.
cpp_declarationt & to_cpp_declaration(irept &irep)
#define UNREACHABLE
This should be used to mark dead code.
const code_typet & to_code_type(const typet &type)
Cast a typet to a code_typet.
const type_with_subtypet & to_type_with_subtype(const typet &type)