cprover
|
#include <ansi_c_convert_type.h>
Public Member Functions | |
void | read (const typet &type) |
void | write (typet &type) |
ansi_c_convert_typet (message_handlert &_message_handler) | |
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_float128_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 | |
void | read_rec (const typet &type) |
Additional Inherited Members |
Definition at line 20 of file ansi_c_convert_type.h.
|
inlineexplicit |
Definition at line 54 of file ansi_c_convert_type.h.
|
inline |
Definition at line 59 of file ansi_c_convert_type.h.
References c_storage_spect::clear(), c_qualifierst::clear(), irept::make_nil(), and read_rec().
Referenced by read().
void ansi_c_convert_typet::read | ( | const typet & | type | ) |
Definition at line 23 of file ansi_c_convert_type.cpp.
References clear(), read_rec(), source_location, and typet::source_location().
Referenced by c_typecheck_baset::typecheck_type().
|
protected |
Definition at line 30 of file ansi_c_convert_type.cpp.
References c_storage_spect::alias, aligned, alignment, c_storage_spect::asm_label, bv_cnt, bv_width, c_bool_cnt, c_qualifiers, c_storage_spec, char_cnt, complex_cnt, constructor, destructor, double_cnt, irept::find(), fixedbv_cnt, float_cnt, floatbv_cnt, forall_operands, forall_subtypes, fraction_width, gcc_attribute_mode, gcc_float128_cnt, gcc_int128_cnt, irept::get(), typet::has_subtype(), irept::id(), int16_cnt, int32_cnt, int64_cnt, int8_cnt, int_cnt, c_qualifierst::is_atomic, c_qualifierst::is_constant, c_storage_spect::is_extern, c_storage_spect::is_inline, irept::is_nil(), c_qualifierst::is_noreturn, c_qualifierst::is_ptr32, c_qualifierst::is_ptr64, c_storage_spect::is_register, c_qualifierst::is_restricted, c_storage_spect::is_static, c_storage_spect::is_thread_local, c_qualifierst::is_transparent_union, c_storage_spect::is_typedef, c_qualifierst::is_volatile, c_storage_spect::is_weak, long_cnt, msc_based, exprt::op0(), exprt::operands(), other, packed, proper_bool_cnt, c_storage_spect::section, short_cnt, signed_cnt, vector_typet::size(), typet::subtype(), to_vector_type(), unsigned_cnt, and vector_size.
void ansi_c_convert_typet::write | ( | typet & | type | ) |
Definition at line 223 of file ansi_c_convert_type.cpp.
References typet::add_source_location(), aligned, alignment, bv_cnt, bv_width, c_bool_cnt, c_bool_type(), c_qualifiers, char_cnt, char_type(), irept::clear(), complex_cnt, constructor, destructor, double_cnt, double_type(), messaget::eom(), messaget::error(), fixedbv_cnt, float_cnt, float_type(), floatbv_cnt, fraction_width, gcc_attribute_mode, gcc_float128_cnt, gcc_float128_type(), gcc_int128_cnt, gcc_signed_int128_type(), gcc_unsigned_int128_type(), irept::id(), int16_cnt, int32_cnt, int64_cnt, int8_cnt, int_cnt, irept::is_not_nil(), is_signed(), long_cnt, long_double_type(), other, packed, irept::pretty(), proper_bool_cnt, code_typet::return_type(), irept::set(), short_cnt, signed_char_type(), signed_cnt, signed_int_type(), signed_long_int_type(), signed_long_long_int_type(), signed_short_int_type(), vector_typet::size(), source_location, exprt::source_location(), messaget::mstreamt::source_location, typet::subtype(), irept::swap(), to_code_type(), unsigned_char_type(), unsigned_cnt, unsigned_int_type(), unsigned_long_int_type(), unsigned_long_long_int_type(), unsigned_short_int_type(), vector_size, and c_qualifierst::write().
Referenced by c_typecheck_baset::typecheck_type().
bool ansi_c_convert_typet::aligned |
Definition at line 36 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
exprt ansi_c_convert_typet::alignment |
Definition at line 37 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::bv_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
exprt ansi_c_convert_typet::bv_width |
Definition at line 37 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::c_bool_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
c_qualifierst ansi_c_convert_typet::c_qualifiers |
Definition at line 45 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
c_storage_spect ansi_c_convert_typet::c_storage_spec |
Definition at line 42 of file ansi_c_convert_type.h.
Referenced by read_rec().
unsigned ansi_c_convert_typet::char_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::complex_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
bool ansi_c_convert_typet::constructor |
Definition at line 39 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
bool ansi_c_convert_typet::destructor |
Definition at line 39 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::double_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::fixedbv_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::float_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::floatbv_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
exprt ansi_c_convert_typet::fraction_width |
Definition at line 37 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
typet ansi_c_convert_typet::gcc_attribute_mode |
Definition at line 34 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::gcc_float128_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::gcc_int128_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::int16_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::int32_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::int64_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::int8_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::int_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::long_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
exprt ansi_c_convert_typet::msc_based |
Definition at line 38 of file ansi_c_convert_type.h.
Referenced by read_rec().
std::list<typet> ansi_c_convert_typet::other |
Definition at line 52 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
bool ansi_c_convert_typet::packed |
Definition at line 36 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::proper_bool_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::ptr32_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::ptr64_cnt |
Definition at line 29 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::short_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
unsigned ansi_c_convert_typet::signed_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
source_locationt ansi_c_convert_typet::source_location |
Definition at line 50 of file ansi_c_convert_type.h.
unsigned ansi_c_convert_typet::unsigned_cnt |
Definition at line 23 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().
exprt ansi_c_convert_typet::vector_size |
Definition at line 37 of file ansi_c_convert_type.h.
Referenced by read_rec(), and write().