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)
 
messagetoperator= (const messaget &other)
 
 messaget (message_handlert &_message_handler)
 
virtual ~messaget ()
 
mstreamtget_mstream (unsigned message_level) const
 
mstreamterror () const
 
mstreamtwarning () const
 
mstreamtresult () const
 
mstreamtstatus () const
 
mstreamtstatistics () const
 
mstreamtprogress () const
 
mstreamtdebug () const
 
void conditional_output (mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const
 Generate output to mstream using output_generator if the configured verbosity is at least as high as that of mstream. More...
 

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_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
 
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 unsigned eval_verbosity (const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)
 Parse a (user-)provided string as a verbosity level and set it as the verbosity of dest. More...
 
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 59 of file ansi_c_convert_type.h.

Member Function Documentation

◆ clear()

◆ read()

void ansi_c_convert_typet::read ( const typet type)

◆ read_rec()

void ansi_c_convert_typet::read_rec ( const typet type)
protected

◆ write()

void ansi_c_convert_typet::write ( typet type)

Member Data Documentation

◆ aligned

bool ansi_c_convert_typet::aligned

Definition at line 41 of file ansi_c_convert_type.h.

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

◆ alignment

exprt ansi_c_convert_typet::alignment

Definition at line 42 of file ansi_c_convert_type.h.

Referenced by clear(), 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 clear(), read_rec(), and write().

◆ bv_width

exprt ansi_c_convert_typet::bv_width

Definition at line 42 of file ansi_c_convert_type.h.

Referenced by clear(), 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 clear(), read_rec(), and write().

◆ c_qualifiers

c_qualifierst ansi_c_convert_typet::c_qualifiers

Definition at line 50 of file ansi_c_convert_type.h.

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

◆ c_storage_spec

c_storage_spect ansi_c_convert_typet::c_storage_spec

Definition at line 47 of file ansi_c_convert_type.h.

Referenced by clear(), and read_rec().

◆ char_cnt

unsigned ansi_c_convert_typet::char_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by clear(), 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 clear(), read_rec(), and write().

◆ constructor

bool ansi_c_convert_typet::constructor

Definition at line 44 of file ansi_c_convert_type.h.

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

◆ destructor

bool ansi_c_convert_typet::destructor

Definition at line 44 of file ansi_c_convert_type.h.

Referenced by clear(), 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 clear(), 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 clear(), 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 clear(), 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 clear(), read_rec(), and write().

◆ fraction_width

exprt ansi_c_convert_typet::fraction_width

Definition at line 42 of file ansi_c_convert_type.h.

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

◆ gcc_attribute_mode

typet ansi_c_convert_typet::gcc_attribute_mode

Definition at line 39 of file ansi_c_convert_type.h.

Referenced by clear(), 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 clear(), read_rec(), and write().

◆ gcc_float128x_cnt

unsigned ansi_c_convert_typet::gcc_float128x_cnt

Definition at line 29 of file ansi_c_convert_type.h.

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

◆ gcc_float16_cnt

unsigned ansi_c_convert_typet::gcc_float16_cnt

Definition at line 29 of file ansi_c_convert_type.h.

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

◆ gcc_float32_cnt

unsigned ansi_c_convert_typet::gcc_float32_cnt

Definition at line 29 of file ansi_c_convert_type.h.

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

◆ gcc_float32x_cnt

unsigned ansi_c_convert_typet::gcc_float32x_cnt

Definition at line 29 of file ansi_c_convert_type.h.

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

◆ gcc_float64_cnt

unsigned ansi_c_convert_typet::gcc_float64_cnt

Definition at line 29 of file ansi_c_convert_type.h.

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

◆ gcc_float64x_cnt

unsigned ansi_c_convert_typet::gcc_float64x_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by clear(), 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 clear(), 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 clear(), 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 clear(), 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 clear(), 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 clear(), 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 clear(), 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 clear(), read_rec(), and write().

◆ msc_based

exprt ansi_c_convert_typet::msc_based

Definition at line 43 of file ansi_c_convert_type.h.

Referenced by clear(), and read_rec().

◆ other

std::list<typet> ansi_c_convert_typet::other

Definition at line 57 of file ansi_c_convert_type.h.

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

◆ packed

bool ansi_c_convert_typet::packed

Definition at line 41 of file ansi_c_convert_type.h.

Referenced by clear(), 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 clear(), read_rec(), and write().

◆ ptr32_cnt

unsigned ansi_c_convert_typet::ptr32_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by clear().

◆ ptr64_cnt

unsigned ansi_c_convert_typet::ptr64_cnt

Definition at line 29 of file ansi_c_convert_type.h.

Referenced by clear().

◆ short_cnt

unsigned ansi_c_convert_typet::short_cnt

Definition at line 23 of file ansi_c_convert_type.h.

Referenced by clear(), 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 clear(), read_rec(), and write().

◆ source_location

source_locationt ansi_c_convert_typet::source_location

Definition at line 55 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 clear(), read_rec(), and write().

◆ vector_size

exprt ansi_c_convert_typet::vector_size

Definition at line 42 of file ansi_c_convert_type.h.

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


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