cprover
|
Public Member Functions | |
void | read (const typet &type) |
void | write (typet &type) |
cpp_convert_typet () | |
cpp_convert_typet (const typet &type) | |
Public Attributes | |
unsigned | unsigned_cnt |
unsigned | signed_cnt |
unsigned | char_cnt |
unsigned | int_cnt |
unsigned | short_cnt |
unsigned | long_cnt |
unsigned | const_cnt |
unsigned | restrict_cnt |
unsigned | constexpr_cnt |
unsigned | volatile_cnt |
unsigned | double_cnt |
unsigned | float_cnt |
unsigned | complex_cnt |
unsigned | cpp_bool_cnt |
unsigned | proper_bool_cnt |
unsigned | extern_cnt |
unsigned | wchar_t_cnt |
unsigned | char16_t_cnt |
unsigned | char32_t_cnt |
unsigned | int8_cnt |
unsigned | int16_cnt |
unsigned | int32_cnt |
unsigned | int64_cnt |
unsigned | ptr32_cnt |
unsigned | ptr64_cnt |
unsigned | float128_cnt |
unsigned | int128_cnt |
std::list< typet > | other |
Protected Member Functions | |
void | read_rec (const typet &type) |
void | read_function_type (const typet &type) |
void | read_template (const typet &type) |
Definition at line 25 of file cpp_convert_type.cpp.
|
inline |
Definition at line 40 of file cpp_convert_type.cpp.
|
inlineexplicit |
Definition at line 41 of file cpp_convert_type.cpp.
References read().
void cpp_convert_typet::read | ( | const typet & | type | ) |
Definition at line 49 of file cpp_convert_type.cpp.
References char16_t_cnt, char32_t_cnt, char_cnt, complex_cnt, const_cnt, constexpr_cnt, cpp_bool_cnt, double_cnt, extern_cnt, float128_cnt, float_cnt, int128_cnt, int16_cnt, int32_cnt, int64_cnt, int8_cnt, int_cnt, long_cnt, other, irept::pretty(), proper_bool_cnt, ptr32_cnt, ptr64_cnt, read_rec(), restrict_cnt, short_cnt, signed_cnt, unsigned_cnt, volatile_cnt, and wchar_t_cnt.
Referenced by cpp_convert_typet().
|
protected |
Definition at line 196 of file cpp_convert_type.cpp.
References irept::add(), exprt::add_source_location(), cpp_convert_plain_type(), cpp_declarationt::declarators(), code_typet::parametert::default_value(), dstringt::empty(), Forall_irep, cpp_namet::get_base_name(), irept::get_sub(), irept::id(), irept::is_nil(), irept::is_not_nil(), cpp_namet::is_simple_name(), other, pointer_type(), typet::remove_subtype(), irept::set(), code_typet::parametert::set_base_name(), code_typet::parametert::set_identifier(), cpp_namet::source_location(), typet::source_location(), typet::subtype(), irept::swap(), to_cpp_declaration(), and exprt::type().
Referenced by read_rec().
|
protected |
Definition at line 67 of file cpp_convert_type.cpp.
References char16_t_cnt, char32_t_cnt, char_cnt, complex_cnt, const_cnt, constexpr_cnt, cpp_bool_cnt, cpp_convert_plain_type(), double_cnt, extern_cnt, float128_cnt, float_cnt, forall_subtypes, irept::id(), int128_cnt, int16_cnt, int32_cnt, int64_cnt, int8_cnt, int_cnt, long_cnt, other, irept::pretty(), proper_bool_cnt, ptr32_cnt, ptr64_cnt, read_function_type(), read_template(), restrict_cnt, short_cnt, signed_cnt, unsigned_cnt, volatile_cnt, and wchar_t_cnt.
Referenced by read().
|
protected |
Definition at line 168 of file cpp_convert_type.cpp.
References irept::add(), cpp_convert_plain_type(), Forall_irep, irept::get_bool(), other, typet::subtype(), and exprt::type().
Referenced by read_rec().
void cpp_convert_typet::write | ( | typet & | type | ) |
Definition at line 297 of file cpp_convert_type.cpp.
References char16_t_cnt, char16_t_type(), char32_t_cnt, char32_t_type(), char_cnt, char_type(), irept::clear(), const_cnt, constexpr_cnt, cpp_bool_cnt, double_cnt, double_type(), float128_cnt, float_cnt, float_type(), gcc_float128_type(), gcc_signed_int128_type(), gcc_unsigned_int128_type(), irept::id(), int128_cnt, int16_cnt, int32_cnt, int64_cnt, int8_cnt, int_cnt, long_cnt, long_double_type(), other, proper_bool_cnt, ptr32_cnt, ptr64_cnt, 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(), irept::swap(), unsigned_char_type(), unsigned_cnt, unsigned_int_type(), unsigned_long_int_type(), unsigned_long_long_int_type(), unsigned_short_int_type(), volatile_cnt, wchar_t_cnt, and wchar_t_type().
Referenced by cpp_convert_plain_type().
unsigned cpp_convert_typet::char16_t_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::char32_t_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::char_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::complex_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), and read_rec().
unsigned cpp_convert_typet::const_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::constexpr_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::cpp_bool_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::double_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::extern_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), and read_rec().
unsigned cpp_convert_typet::float128_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::float_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::int128_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::int16_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::int32_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::int64_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::int8_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::int_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::long_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
std::list<typet> cpp_convert_typet::other |
Definition at line 38 of file cpp_convert_type.cpp.
Referenced by read(), read_function_type(), read_rec(), read_template(), and write().
unsigned cpp_convert_typet::proper_bool_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::ptr32_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::ptr64_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::restrict_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), and read_rec().
unsigned cpp_convert_typet::short_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::signed_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::unsigned_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::volatile_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().
unsigned cpp_convert_typet::wchar_t_cnt |
Definition at line 28 of file cpp_convert_type.cpp.
Referenced by read(), read_rec(), and write().