cprover
ansi_c_convert_typet Class Reference

#include <ansi_c_convert_type.h>

Inheritance diagram for ansi_c_convert_typet:
[legend]
Collaboration diagram for ansi_c_convert_typet:
[legend]

Public Member Functions

void read (const typet &type)
 
void write (typet &type)
 
 ansi_c_convert_typet (message_handlert &_message_handler)
 
void clear ()
 
- Public Member Functions inherited from messaget
virtual void set_message_handler (message_handlert &_message_handler)
 
message_handlertget_message_handler ()
 
 messaget ()
 
 messaget (const messaget &other)
 
 messaget (message_handlert &_message_handler)
 
virtual ~messaget ()
 
mstreamtget_mstream (unsigned message_level)
 
mstreamterror ()
 
mstreamtwarning ()
 
mstreamtresult ()
 
mstreamtstatus ()
 
mstreamtstatistics ()
 
mstreamtprogress ()
 
mstreamtdebug ()
 

Public Attributes

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 int8_cnt
 
unsigned int16_cnt
 
unsigned int32_cnt
 
unsigned int64_cnt
 
unsigned ptr32_cnt
 
unsigned ptr64_cnt
 
unsigned gcc_float128_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
 
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)
 

Additional Inherited Members

- Public Types inherited from messaget
enum  message_levelt {
  M_ERROR =1, M_WARNING =2, M_RESULT =4, M_STATUS =6,
  M_STATISTICS =8, M_PROGRESS =9, M_DEBUG =10
}
 
- Static Public Member Functions inherited from messaget
static mstreamteom (mstreamt &m)
 
static mstreamtendl (mstreamt &m)
 
- Protected Attributes inherited from messaget
message_handlertmessage_handler
 
mstreamt mstream
 

Detailed Description

Definition at line 20 of file ansi_c_convert_type.h.

Constructor & Destructor Documentation

§ ansi_c_convert_typet()

ansi_c_convert_typet::ansi_c_convert_typet ( message_handlert _message_handler)
inlineexplicit

Definition at line 54 of file ansi_c_convert_type.h.

Member Function Documentation

§ clear()

void ansi_c_convert_typet::clear ( void  )
inline

Definition at line 59 of file ansi_c_convert_type.h.

References c_storage_spect::clear(), c_qualifierst::clear(), irept::make_nil(), and read_rec().

Referenced by read().

§ read()

void ansi_c_convert_typet::read ( const typet type)

§ read_rec()

§ write()

Member Data Documentation

§ aligned

bool ansi_c_convert_typet::aligned

Definition at line 36 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ alignment

exprt ansi_c_convert_typet::alignment

Definition at line 37 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ bv_cnt

unsigned ansi_c_convert_typet::bv_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ bv_width

exprt ansi_c_convert_typet::bv_width

Definition at line 37 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ c_bool_cnt

unsigned ansi_c_convert_typet::c_bool_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ c_qualifiers

c_qualifierst ansi_c_convert_typet::c_qualifiers

Definition at line 45 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ c_storage_spec

c_storage_spect ansi_c_convert_typet::c_storage_spec

Definition at line 42 of file ansi_c_convert_type.h.

Referenced by read_rec().

§ char_cnt

unsigned ansi_c_convert_typet::char_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ complex_cnt

unsigned ansi_c_convert_typet::complex_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ constructor

bool ansi_c_convert_typet::constructor

Definition at line 39 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ destructor

bool ansi_c_convert_typet::destructor

Definition at line 39 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ double_cnt

unsigned ansi_c_convert_typet::double_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ fixedbv_cnt

unsigned ansi_c_convert_typet::fixedbv_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ float_cnt

unsigned ansi_c_convert_typet::float_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ floatbv_cnt

unsigned ansi_c_convert_typet::floatbv_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ fraction_width

exprt ansi_c_convert_typet::fraction_width

Definition at line 37 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ gcc_attribute_mode

typet ansi_c_convert_typet::gcc_attribute_mode

Definition at line 34 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ gcc_float128_cnt

unsigned ansi_c_convert_typet::gcc_float128_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ gcc_int128_cnt

unsigned ansi_c_convert_typet::gcc_int128_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ int16_cnt

unsigned ansi_c_convert_typet::int16_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ int32_cnt

unsigned ansi_c_convert_typet::int32_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ int64_cnt

unsigned ansi_c_convert_typet::int64_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ int8_cnt

unsigned ansi_c_convert_typet::int8_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ int_cnt

unsigned ansi_c_convert_typet::int_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ long_cnt

unsigned ansi_c_convert_typet::long_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ msc_based

exprt ansi_c_convert_typet::msc_based

Definition at line 38 of file ansi_c_convert_type.h.

Referenced by read_rec().

§ other

std::list<typet> ansi_c_convert_typet::other

Definition at line 52 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ packed

bool ansi_c_convert_typet::packed

Definition at line 36 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ proper_bool_cnt

unsigned ansi_c_convert_typet::proper_bool_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ ptr32_cnt

unsigned ansi_c_convert_typet::ptr32_cnt

Definition at line 29 of file ansi_c_convert_type.h.

§ ptr64_cnt

unsigned ansi_c_convert_typet::ptr64_cnt

Definition at line 29 of file ansi_c_convert_type.h.

§ short_cnt

unsigned ansi_c_convert_typet::short_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ signed_cnt

unsigned ansi_c_convert_typet::signed_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ source_location

source_locationt ansi_c_convert_typet::source_location

Definition at line 50 of file ansi_c_convert_type.h.

Referenced by read(), and write().

§ unsigned_cnt

unsigned ansi_c_convert_typet::unsigned_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().

§ vector_size

exprt ansi_c_convert_typet::vector_size

Definition at line 37 of file ansi_c_convert_type.h.

Referenced by read_rec(), and write().


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