Go to the documentation of this file.
29 os <<
' ' <<
format(c.type()) <<
' ' << c.get_name();
49 os <<
' ' <<
format(c.type()) <<
' ' << c.get_name();
60 const auto &
id = type.
id();
64 else if(
id == ID_array)
68 return os <<
format(t.subtype()) <<
'[' <<
format(t.size()) <<
']';
70 return os <<
format(t.subtype()) <<
"[]";
72 else if(
id == ID_struct)
74 else if(
id == ID_union)
76 else if(
id == ID_union_tag)
78 else if(
id == ID_struct_tag)
80 else if(
id == ID_c_enum_tag)
82 else if(
id == ID_signedbv)
84 else if(
id == ID_unsignedbv)
86 else if(
id == ID_floatbv)
88 else if(
id == ID_c_bool)
90 else if(
id == ID_bool)
91 return os <<
"\xf0\x9d\x94\xb9";
92 else if(
id == ID_integer)
93 return os <<
"\xe2\x84\xa4";
94 else if(
id == ID_natural)
95 return os <<
"\xe2\x84\x95";
96 else if(
id == ID_rational)
97 return os <<
"\xe2\x84\x9a";
const c_bool_typet & to_c_bool_type(const typet &type)
Cast a typet to a c_bool_typet.
const irep_idt & get_identifier() const
const componentst & components() const
const union_tag_typet & to_union_tag_type(const typet &type)
Cast a typet to a union_tag_typet.
const c_enum_tag_typet & to_c_enum_tag_type(const typet &type)
Cast a typet to a c_enum_tag_typet.
const struct_typet & to_struct_type(const typet &type)
Cast a typet to a struct_typet.
The type of an expression, extends irept.
const unsignedbv_typet & to_unsignedbv_type(const typet &type)
Cast a typet to an unsignedbv_typet.
const irep_idt & id() const
const struct_tag_typet & to_struct_tag_type(const typet &type)
Cast a typet to a struct_tag_typet.
const pointer_typet & to_pointer_type(const typet &type)
Cast a typet to a pointer_typet.
std::size_t get_width() const
Structure type, corresponds to C style structs.
const signedbv_typet & to_signedbv_type(const typet &type)
Cast a typet to a signedbv_typet.
const array_typet & to_array_type(const typet &type)
Cast a typet to an array_typet.
const floatbv_typet & to_floatbv_type(const typet &type)
Cast a typet to a floatbv_typet.
const union_typet & to_union_type(const typet &type)
Cast a typet to a union_typet.