cprover
cpp_convert_typet Class Reference
+ Collaboration diagram for cpp_convert_typet:

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 noreturn_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 float80_cnt
 
unsigned float128_cnt
 
unsigned int128_cnt
 
std::list< typetother
 

Protected Member Functions

void read_rec (const typet &type)
 
void read_function_type (const typet &type)
 
void read_template (const typet &type)
 

Detailed Description

Definition at line 27 of file cpp_convert_type.cpp.

Constructor & Destructor Documentation

◆ cpp_convert_typet() [1/2]

cpp_convert_typet::cpp_convert_typet ( )
inline

Definition at line 42 of file cpp_convert_type.cpp.

◆ cpp_convert_typet() [2/2]

cpp_convert_typet::cpp_convert_typet ( const typet type)
inlineexplicit

Definition at line 43 of file cpp_convert_type.cpp.

Member Function Documentation

◆ read()

void cpp_convert_typet::read ( const typet type)

Definition at line 51 of file cpp_convert_type.cpp.

◆ read_function_type()

void cpp_convert_typet::read_function_type ( const typet type)
protected

Definition at line 220 of file cpp_convert_type.cpp.

◆ read_rec()

void cpp_convert_typet::read_rec ( const typet type)
protected

Definition at line 69 of file cpp_convert_type.cpp.

◆ read_template()

void cpp_convert_typet::read_template ( const typet type)
protected

Definition at line 192 of file cpp_convert_type.cpp.

◆ write()

void cpp_convert_typet::write ( typet type)

Definition at line 317 of file cpp_convert_type.cpp.

Member Data Documentation

◆ char16_t_cnt

unsigned cpp_convert_typet::char16_t_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ char32_t_cnt

unsigned cpp_convert_typet::char32_t_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ char_cnt

unsigned cpp_convert_typet::char_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ complex_cnt

unsigned cpp_convert_typet::complex_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ const_cnt

unsigned cpp_convert_typet::const_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ constexpr_cnt

unsigned cpp_convert_typet::constexpr_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ cpp_bool_cnt

unsigned cpp_convert_typet::cpp_bool_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ double_cnt

unsigned cpp_convert_typet::double_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ extern_cnt

unsigned cpp_convert_typet::extern_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ float128_cnt

unsigned cpp_convert_typet::float128_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ float80_cnt

unsigned cpp_convert_typet::float80_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ float_cnt

unsigned cpp_convert_typet::float_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ int128_cnt

unsigned cpp_convert_typet::int128_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ int16_cnt

unsigned cpp_convert_typet::int16_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ int32_cnt

unsigned cpp_convert_typet::int32_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ int64_cnt

unsigned cpp_convert_typet::int64_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ int8_cnt

unsigned cpp_convert_typet::int8_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ int_cnt

unsigned cpp_convert_typet::int_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ long_cnt

unsigned cpp_convert_typet::long_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ noreturn_cnt

unsigned cpp_convert_typet::noreturn_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ other

std::list<typet> cpp_convert_typet::other

Definition at line 40 of file cpp_convert_type.cpp.

◆ proper_bool_cnt

unsigned cpp_convert_typet::proper_bool_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ ptr32_cnt

unsigned cpp_convert_typet::ptr32_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ ptr64_cnt

unsigned cpp_convert_typet::ptr64_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ restrict_cnt

unsigned cpp_convert_typet::restrict_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ short_cnt

unsigned cpp_convert_typet::short_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ signed_cnt

unsigned cpp_convert_typet::signed_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ unsigned_cnt

unsigned cpp_convert_typet::unsigned_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ volatile_cnt

unsigned cpp_convert_typet::volatile_cnt

Definition at line 30 of file cpp_convert_type.cpp.

◆ wchar_t_cnt

unsigned cpp_convert_typet::wchar_t_cnt

Definition at line 30 of file cpp_convert_type.cpp.


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