CBMC
Public Member Functions | Public Attributes | Protected Types | Protected Member Functions | Protected Attributes | List of all members
c_typecastt Class Reference

#include <c_typecast.h>

+ Inheritance diagram for c_typecastt:
+ Collaboration diagram for c_typecastt:

Public Member Functions

 c_typecastt (const namespacet &_ns)
 
virtual ~c_typecastt ()
 
virtual void implicit_typecast (exprt &expr, const typet &type)
 
virtual void implicit_typecast_arithmetic (exprt &expr)
 
virtual void implicit_typecast_arithmetic (exprt &expr1, exprt &expr2)
 

Public Attributes

std::list< std::string > errors
 
std::list< std::string > warnings
 

Protected Types

enum  c_typet {
  BOOL, CHAR, UCHAR, SHORT,
  USHORT, INT, UINT, LONG,
  ULONG, LONGLONG, ULONGLONG, LARGE_SIGNED_INT,
  LARGE_UNSIGNED_INT, INTEGER, FIXEDBV, SINGLE,
  DOUBLE, LONGDOUBLE, FLOAT128, RATIONAL,
  REAL, COMPLEX, VOIDPTR, PTR,
  OTHER
}
 

Protected Member Functions

c_typet get_c_type (const typet &type) const
 
void implicit_typecast_arithmetic (exprt &expr, c_typet c_type)
 
typet follow_with_qualifiers (const typet &src)
 
virtual void implicit_typecast_followed (exprt &expr, const typet &src_type, const typet &orig_dest_type, const typet &dest_type)
 
void do_typecast (exprt &dest, const typet &type)
 
c_typet minimum_promotion (const typet &type) const
 

Protected Attributes

const namespacet & ns
 

Detailed Description

Definition at line 43 of file c_typecast.h.

Member Enumeration Documentation

◆ c_typet

enum c_typecastt::c_typet
protected
Enumerator
BOOL 
CHAR 
UCHAR 
SHORT 
USHORT 
INT 
UINT 
LONG 
ULONG 
LONGLONG 
ULONGLONG 
LARGE_SIGNED_INT 
LARGE_UNSIGNED_INT 
INTEGER 
FIXEDBV 
SINGLE 
DOUBLE 
LONGDOUBLE 
FLOAT128 
RATIONAL 
REAL 
COMPLEX 
VOIDPTR 
PTR 
OTHER 

Definition at line 73 of file c_typecast.h.

Constructor & Destructor Documentation

◆ c_typecastt()

c_typecastt::c_typecastt ( const namespacet &  _ns)
inlineexplicit

Definition at line 46 of file c_typecast.h.

◆ ~c_typecastt()

virtual c_typecastt::~c_typecastt ( )
inlinevirtual

Definition at line 50 of file c_typecast.h.

Member Function Documentation

◆ do_typecast()

void c_typecastt::do_typecast ( exprt &  dest,
const typet &  type 
)
protected

Definition at line 733 of file c_typecast.cpp.

◆ follow_with_qualifiers()

typet c_typecastt::follow_with_qualifiers ( const typet &  src)
protected

Definition at line 278 of file c_typecast.cpp.

◆ get_c_type()

c_typecastt::c_typet c_typecastt::get_c_type ( const typet &  type) const
protected

Definition at line 304 of file c_typecast.cpp.

◆ implicit_typecast()

void c_typecastt::implicit_typecast ( exprt &  expr,
const typet &  type 
)
virtual

Reimplemented in cpp_typecastt.

Definition at line 500 of file c_typecast.cpp.

◆ implicit_typecast_arithmetic() [1/3]

void c_typecastt::implicit_typecast_arithmetic ( exprt &  expr)
virtual

Reimplemented in cpp_typecastt.

Definition at line 494 of file c_typecast.cpp.

◆ implicit_typecast_arithmetic() [2/3]

void c_typecastt::implicit_typecast_arithmetic ( exprt &  expr,
c_typet  c_type 
)
protected

Definition at line 414 of file c_typecast.cpp.

◆ implicit_typecast_arithmetic() [3/3]

void c_typecastt::implicit_typecast_arithmetic ( exprt &  expr1,
exprt &  expr2 
)
virtual

Reimplemented in cpp_typecastt.

Definition at line 639 of file c_typecast.cpp.

◆ implicit_typecast_followed()

void c_typecastt::implicit_typecast_followed ( exprt &  expr,
const typet &  src_type,
const typet &  orig_dest_type,
const typet &  dest_type 
)
protectedvirtual

Definition at line 514 of file c_typecast.cpp.

◆ minimum_promotion()

c_typecastt::c_typet c_typecastt::minimum_promotion ( const typet &  type) const
protected

Definition at line 462 of file c_typecast.cpp.

Member Data Documentation

◆ errors

std::list<std::string> c_typecastt::errors

Definition at line 65 of file c_typecast.h.

◆ ns

const namespacet& c_typecastt::ns
protected

Definition at line 69 of file c_typecast.h.

◆ warnings

std::list<std::string> c_typecastt::warnings

Definition at line 66 of file c_typecast.h.

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