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 () |
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. | |
virtual void | set_attributes (typet &type) const |
Add qualifiers and GCC attributes onto type . | |
Additional Inherited Members |
Definition at line 23 of file ansi_c_convert_type.h.
|
inlineexplicit |
Definition at line 65 of file ansi_c_convert_type.h.
Build a vector or complex type with type
as subtype.
Definition at line 631 of file ansi_c_convert_type.cpp.
Reimplemented in cpp_convert_typet.
Definition at line 71 of file ansi_c_convert_type.h.
Definition at line 22 of file ansi_c_convert_type.cpp.
Reimplemented in cpp_convert_typet.
Definition at line 29 of file ansi_c_convert_type.cpp.
Add qualifiers and GCC attributes onto type
.
Definition at line 651 of file ansi_c_convert_type.cpp.
Reimplemented in cpp_convert_typet.
Definition at line 280 of file ansi_c_convert_type.cpp.
bool ansi_c_convert_typet::aligned |
Definition at line 44 of file ansi_c_convert_type.h.
exprt ansi_c_convert_typet::alignment |
Definition at line 45 of file ansi_c_convert_type.h.
exprt::operandst ansi_c_convert_typet::assigns |
Definition at line 50 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::bv_cnt |
Definition at line 39 of file ansi_c_convert_type.h.
exprt ansi_c_convert_typet::bv_width |
Definition at line 45 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::c_bool_cnt |
Definition at line 28 of file ansi_c_convert_type.h.
c_qualifierst ansi_c_convert_typet::c_qualifiers |
Definition at line 56 of file ansi_c_convert_type.h.
exprt::operandst c_storage_spect ansi_c_convert_typet::c_storage_spec |
Definition at line 53 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::char_cnt |
Definition at line 26 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::complex_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
bool ansi_c_convert_typet::constructor |
Definition at line 47 of file ansi_c_convert_type.h.
bool ansi_c_convert_typet::destructor |
Definition at line 47 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::double_cnt |
Definition at line 28 of file ansi_c_convert_type.h.
exprt::operandst ansi_c_convert_typet::ensures |
Definition at line 50 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::fixedbv_cnt |
Definition at line 40 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::float_cnt |
Definition at line 28 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::floatbv_cnt |
Definition at line 40 of file ansi_c_convert_type.h.
exprt ansi_c_convert_typet::fraction_width |
Definition at line 45 of file ansi_c_convert_type.h.
typet ansi_c_convert_typet::gcc_attribute_mode |
Definition at line 42 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float128_cnt |
Definition at line 37 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float128x_cnt |
Definition at line 37 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float16_cnt |
Definition at line 34 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float32_cnt |
Definition at line 35 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float32x_cnt |
Definition at line 35 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float64_cnt |
Definition at line 36 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_float64x_cnt |
Definition at line 36 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::gcc_int128_cnt |
Definition at line 38 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::int16_cnt |
Definition at line 32 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::int32_cnt |
Definition at line 32 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::int64_cnt |
Definition at line 32 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::int8_cnt |
Definition at line 32 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::int_cnt |
Definition at line 27 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::long_cnt |
Definition at line 27 of file ansi_c_convert_type.h.
exprt ansi_c_convert_typet::msc_based |
Definition at line 46 of file ansi_c_convert_type.h.
std::list<typet> ansi_c_convert_typet::other |
Definition at line 63 of file ansi_c_convert_type.h.
bool ansi_c_convert_typet::packed |
Definition at line 44 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::proper_bool_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::ptr32_cnt |
Definition at line 33 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::ptr64_cnt |
Definition at line 33 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::short_cnt |
Definition at line 27 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::signed_cnt |
Definition at line 26 of file ansi_c_convert_type.h.
source_locationt ansi_c_convert_typet::source_location |
Definition at line 61 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::unsigned_cnt |
Definition at line 26 of file ansi_c_convert_type.h.
exprt ansi_c_convert_typet::vector_size |
Definition at line 45 of file ansi_c_convert_type.h.