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< typet >	other

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_handlert &	message_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:

• /home/runner/work/cbmc/cbmc/src/cpp/cpp_convert_type.cpp