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

References read().

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

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

◆ char_cnt

unsigned cpp_convert_typet::char_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ complex_cnt

unsigned cpp_convert_typet::complex_cnt

Definition at line 30 of file cpp_convert_type.cpp.

Referenced by read(), and read_rec().

◆ const_cnt

unsigned cpp_convert_typet::const_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ constexpr_cnt

unsigned cpp_convert_typet::constexpr_cnt

Definition at line 30 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 30 of file cpp_convert_type.cpp.

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

◆ double_cnt

unsigned cpp_convert_typet::double_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ extern_cnt

unsigned cpp_convert_typet::extern_cnt

Definition at line 30 of file cpp_convert_type.cpp.

Referenced by read(), and read_rec().

◆ float128_cnt

unsigned cpp_convert_typet::float128_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ float80_cnt

unsigned cpp_convert_typet::float80_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ float_cnt

unsigned cpp_convert_typet::float_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ int128_cnt

unsigned cpp_convert_typet::int128_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ int16_cnt

unsigned cpp_convert_typet::int16_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ int32_cnt

unsigned cpp_convert_typet::int32_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ int64_cnt

unsigned cpp_convert_typet::int64_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ int8_cnt

unsigned cpp_convert_typet::int8_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ int_cnt

unsigned cpp_convert_typet::int_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ long_cnt

unsigned cpp_convert_typet::long_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ noreturn_cnt

unsigned cpp_convert_typet::noreturn_cnt

Definition at line 30 of file cpp_convert_type.cpp.

Referenced by read(), and read_rec().

◆ other

std::list<typet> cpp_convert_typet::other

◆ proper_bool_cnt

unsigned cpp_convert_typet::proper_bool_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ ptr32_cnt

unsigned cpp_convert_typet::ptr32_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ ptr64_cnt

unsigned cpp_convert_typet::ptr64_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ restrict_cnt

unsigned cpp_convert_typet::restrict_cnt

Definition at line 30 of file cpp_convert_type.cpp.

Referenced by read(), and read_rec().

◆ short_cnt

unsigned cpp_convert_typet::short_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ signed_cnt

unsigned cpp_convert_typet::signed_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ unsigned_cnt

unsigned cpp_convert_typet::unsigned_cnt

Definition at line 30 of file cpp_convert_type.cpp.

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

◆ volatile_cnt

unsigned cpp_convert_typet::volatile_cnt

Definition at line 30 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 30 of file cpp_convert_type.cpp.

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


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