cprover
cpp_convert_typet Class Reference
Collaboration diagram for cpp_convert_typet:
[legend]

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< 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 25 of file cpp_convert_type.cpp.

Constructor & Destructor Documentation

§ cpp_convert_typet() [1/2]

cpp_convert_typet::cpp_convert_typet ( )
inline

Definition at line 40 of file cpp_convert_type.cpp.

§ cpp_convert_typet() [2/2]

cpp_convert_typet::cpp_convert_typet ( const typet type)
inlineexplicit

Definition at line 41 of file cpp_convert_type.cpp.

References read(), read_function_type(), read_rec(), and read_template().

Member Function Documentation

§ read()

§ read_function_type()

§ read_rec()

§ read_template()

void cpp_convert_typet::read_template ( const typet type)
protected

§ write()

Member Data Documentation

§ char16_t_cnt

unsigned cpp_convert_typet::char16_t_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ char32_t_cnt

unsigned cpp_convert_typet::char32_t_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ char_cnt

unsigned cpp_convert_typet::char_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ complex_cnt

unsigned cpp_convert_typet::complex_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), and read_rec().

§ const_cnt

unsigned cpp_convert_typet::const_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ constexpr_cnt

unsigned cpp_convert_typet::constexpr_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ cpp_bool_cnt

unsigned cpp_convert_typet::cpp_bool_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ double_cnt

unsigned cpp_convert_typet::double_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ extern_cnt

unsigned cpp_convert_typet::extern_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), and read_rec().

§ float128_cnt

unsigned cpp_convert_typet::float128_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ float_cnt

unsigned cpp_convert_typet::float_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ int128_cnt

unsigned cpp_convert_typet::int128_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ int16_cnt

unsigned cpp_convert_typet::int16_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ int32_cnt

unsigned cpp_convert_typet::int32_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ int64_cnt

unsigned cpp_convert_typet::int64_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ int8_cnt

unsigned cpp_convert_typet::int8_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ int_cnt

unsigned cpp_convert_typet::int_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ long_cnt

unsigned cpp_convert_typet::long_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ other

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().

§ proper_bool_cnt

unsigned cpp_convert_typet::proper_bool_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ ptr32_cnt

unsigned cpp_convert_typet::ptr32_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ ptr64_cnt

unsigned cpp_convert_typet::ptr64_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ restrict_cnt

unsigned cpp_convert_typet::restrict_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), and read_rec().

§ short_cnt

unsigned cpp_convert_typet::short_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ signed_cnt

unsigned cpp_convert_typet::signed_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ unsigned_cnt

unsigned cpp_convert_typet::unsigned_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ volatile_cnt

unsigned cpp_convert_typet::volatile_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().

§ wchar_t_cnt

unsigned cpp_convert_typet::wchar_t_cnt

Definition at line 28 of file cpp_convert_type.cpp.

Referenced by read(), read_rec(), and write().


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