cprover
|
#include <ansi_c_convert_type.h>
Public Member Functions | |
virtual void | read (const typet &type) |
virtual void | write (typet &type) |
ansi_c_convert_typet (message_handlert &_message_handler) | |
virtual void | clear () |
Public Attributes | |
unsigned | unsigned_cnt |
unsigned | signed_cnt |
unsigned | char_cnt |
unsigned | int_cnt |
unsigned | short_cnt |
unsigned | long_cnt |
unsigned | double_cnt |
unsigned | float_cnt |
unsigned | c_bool_cnt |
unsigned | proper_bool_cnt |
unsigned | complex_cnt |
unsigned | int8_cnt |
unsigned | int16_cnt |
unsigned | int32_cnt |
unsigned | int64_cnt |
unsigned | ptr32_cnt |
unsigned | ptr64_cnt |
unsigned | gcc_float16_cnt |
unsigned | gcc_float32_cnt |
unsigned | gcc_float32x_cnt |
unsigned | gcc_float64_cnt |
unsigned | gcc_float64x_cnt |
unsigned | gcc_float128_cnt |
unsigned | gcc_float128x_cnt |
unsigned | gcc_int128_cnt |
unsigned | bv_cnt |
unsigned | floatbv_cnt |
unsigned | fixedbv_cnt |
typet | gcc_attribute_mode |
bool | packed |
bool | aligned |
exprt | vector_size |
exprt | alignment |
exprt | bv_width |
exprt | fraction_width |
exprt | msc_based |
bool | constructor |
bool | destructor |
c_storage_spect | c_storage_spec |
c_qualifierst | c_qualifiers |
source_locationt | source_location |
std::list< typet > | other |
Protected Member Functions | |
virtual void | read_rec (const typet &type) |
virtual void | build_type_with_subtype (typet &type) const |
Build a vector or complex type with type as subtype. More... | |
virtual void | set_attributes (typet &type) const |
Add qualifiers and GCC attributes onto type . More... | |
Additional Inherited Members |
Definition at line 22 of file ansi_c_convert_type.h.
|
inlineexplicit |
Definition at line 61 of file ansi_c_convert_type.h.
|
protectedvirtual |
Build a vector or complex type with type
as subtype.
Definition at line 595 of file ansi_c_convert_type.cpp.
|
inlinevirtual |
Reimplemented in cpp_convert_typet.
Definition at line 67 of file ansi_c_convert_type.h.
|
virtual |
Definition at line 26 of file ansi_c_convert_type.cpp.
|
protectedvirtual |
Reimplemented in cpp_convert_typet.
Definition at line 33 of file ansi_c_convert_type.cpp.
|
protectedvirtual |
Add qualifiers and GCC attributes onto type
.
Definition at line 615 of file ansi_c_convert_type.cpp.
|
virtual |
Reimplemented in cpp_convert_typet.
Definition at line 254 of file ansi_c_convert_type.cpp.
bool ansi_c_convert_typet::aligned |
Definition at line 43 of file ansi_c_convert_type.h.
exprt ansi_c_convert_typet::alignment |
Definition at line 44 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::bv_cnt |
Definition at line 38 of file ansi_c_convert_type.h.
exprt ansi_c_convert_typet::bv_width |
Definition at line 44 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::c_bool_cnt |
Definition at line 27 of file ansi_c_convert_type.h.
c_qualifierst ansi_c_convert_typet::c_qualifiers |
Definition at line 52 of file ansi_c_convert_type.h.
c_storage_spect ansi_c_convert_typet::c_storage_spec |
Definition at line 49 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::char_cnt |
Definition at line 25 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::complex_cnt |
Definition at line 28 of file ansi_c_convert_type.h.
bool ansi_c_convert_typet::constructor |
Definition at line 46 of file ansi_c_convert_type.h.
bool ansi_c_convert_typet::destructor |
Definition at line 46 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::double_cnt |
Definition at line 27 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::fixedbv_cnt |
Definition at line 39 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::float_cnt |
Definition at line 27 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::floatbv_cnt |
Definition at line 39 of file ansi_c_convert_type.h.
exprt ansi_c_convert_typet::fraction_width |
Definition at line 44 of file ansi_c_convert_type.h.
typet ansi_c_convert_typet::gcc_attribute_mode |
Definition at line 41 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float128_cnt |
Definition at line 36 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float128x_cnt |
Definition at line 36 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float16_cnt |
Definition at line 33 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float32_cnt |
Definition at line 34 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float32x_cnt |
Definition at line 34 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float64_cnt |
Definition at line 35 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float64x_cnt |
Definition at line 35 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_int128_cnt |
Definition at line 37 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::int16_cnt |
Definition at line 31 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::int32_cnt |
Definition at line 31 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::int64_cnt |
Definition at line 31 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::int8_cnt |
Definition at line 31 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::int_cnt |
Definition at line 26 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::long_cnt |
Definition at line 26 of file ansi_c_convert_type.h.
exprt ansi_c_convert_typet::msc_based |
Definition at line 45 of file ansi_c_convert_type.h.
std::list<typet> ansi_c_convert_typet::other |
Definition at line 59 of file ansi_c_convert_type.h.
bool ansi_c_convert_typet::packed |
Definition at line 43 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::proper_bool_cnt |
Definition at line 28 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::ptr32_cnt |
Definition at line 32 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::ptr64_cnt |
Definition at line 32 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::short_cnt |
Definition at line 26 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::signed_cnt |
Definition at line 25 of file ansi_c_convert_type.h.
source_locationt ansi_c_convert_typet::source_location |
Definition at line 57 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::unsigned_cnt |
Definition at line 25 of file ansi_c_convert_type.h.
exprt ansi_c_convert_typet::vector_size |
Definition at line 44 of file ansi_c_convert_type.h.