cprover
Loading...
Searching...
No Matches
cpp_convert_typet Class Reference
Inheritance diagram for cpp_convert_typet:
Collaboration diagram for cpp_convert_typet:

Public Member Functions

void write (typet &type) override
 cpp_convert_typet (message_handlert &message_handler, const typet &type)
Public Member Functions inherited from ansi_c_convert_typet
 ansi_c_convert_typet (message_handlert &_message_handler, const typet &type)

Public Attributes

std::size_t wchar_t_count
std::size_t char16_t_count
std::size_t char32_t_count
Public Attributes inherited from ansi_c_convert_typet
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 bitint_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
exprt::operandst c_assigns
exprt::operandst c_frees
exprt::operandst c_ensures
exprt::operandst c_requires
c_storage_spect c_storage_spec
c_qualifierst c_qualifiers
source_locationt source_location
std::list< typetother

Protected Member Functions

void read_rec (const typet &type) override
void read_function_type (const typet &type)
void read_template (const typet &type)
Protected Member Functions inherited from ansi_c_convert_typet
 ansi_c_convert_typet (message_handlert &_message_handler)
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

Protected Attributes inherited from ansi_c_convert_typet
message_handlertmessage_handler

Detailed Description

Definition at line 25 of file cpp_convert_type.cpp.

Constructor & Destructor Documentation

◆ cpp_convert_typet()

cpp_convert_typet::cpp_convert_typet ( message_handlert & message_handler,
const typet & type )
inline

Definition at line 35 of file cpp_convert_type.cpp.

Member Function Documentation

◆ read_function_type()

void cpp_convert_typet::read_function_type ( const typet & type)
protected

Definition at line 147 of file cpp_convert_type.cpp.

◆ read_rec()

void cpp_convert_typet::read_rec ( const typet & type)
overrideprotectedvirtual

Reimplemented from ansi_c_convert_typet.

Definition at line 51 of file cpp_convert_type.cpp.

◆ read_template()

void cpp_convert_typet::read_template ( const typet & type)
protected

Definition at line 119 of file cpp_convert_type.cpp.

◆ write()

void cpp_convert_typet::write ( typet & type)
overridevirtual

Reimplemented from ansi_c_convert_typet.

Definition at line 245 of file cpp_convert_type.cpp.

Member Data Documentation

◆ char16_t_count

std::size_t cpp_convert_typet::char16_t_count

Definition at line 31 of file cpp_convert_type.cpp.

◆ char32_t_count

std::size_t cpp_convert_typet::char32_t_count

Definition at line 31 of file cpp_convert_type.cpp.

◆ wchar_t_count

std::size_t cpp_convert_typet::wchar_t_count

Definition at line 31 of file cpp_convert_type.cpp.


The documentation for this class was generated from the following file: