IntegerType Class Reference

#include <include/type.h>

Inheritance diagram for IntegerType:

Type List of all members.

Detailed Description

Definition at line 265 of file type.h.

Public Member Functions

void bumpSigned (int sg)
virtual Type * clone () const
virtual const char * getCtype (bool final=false) const
int getSignedness ()
virtual unsigned getSize () const
virtual std::string getTempName () const
 IntegerType (int sz=STD_SIZE, int sign=0)
virtual bool isCompatible (Type *other, bool all)
virtual bool isComplete ()
virtual bool isInteger () const
bool isSigned ()
bool isUnsigned ()
virtual Exp * match (Type *pattern)
virtual Type * meetWith (Type *other, bool &ch, bool bHighestPtr)
virtual Type * mergeWith (Type *other)
virtual bool operator< (const Type &other) const
virtual bool operator== (const Type &other) const
void setSigned (int sg)
virtual void setSize (int sz)
virtual ~IntegerType ()

Private Attributes

int signedness
unsigned size

Friends

class XMLProgParser

Constructor & Destructor Documentation

IntegerType::IntegerType (  int  sz = STD_SIZE,
int  sign = 0
) 
 

Definition at line 72 of file type.cpp.

IntegerType::~IntegerType (   )  [virtual]
 

Definition at line 27 of file typeStubs.cpp.

Member Function Documentation

void IntegerType::bumpSigned (  int  sg  )  [inline]
 

Definition at line 290 of file type.h.

References signedness.

Type * IntegerType::clone (   )  const [virtual]
 

Implements Type.

Definition at line 28 of file typeStubs.cpp.

References NULL.

const char * IntegerType::getCtype (  bool  final = false  )  const [virtual]
 

Implements Type.

Definition at line 768 of file type.cpp.

References signedness.

Referenced by TypeTest::testTypeLong().

int IntegerType::getSignedness (   )  [inline]
 

Definition at line 294 of file type.h.

References signedness.

Referenced by checkSignedness(), and mergeWith().

unsigned IntegerType::getSize (   )  const [virtual]
 

Implements Type.

Definition at line 31 of file typeStubs.cpp.

Referenced by mergeWith(), operator<<(), and ExpCastInserter::postVisit().

std::string IntegerType::getTempName (   )  const [virtual]
 

Reimplemented from Type.

Definition at line 33 of file typeStubs.cpp.

bool IntegerType::isCompatible (  Type *  other,
bool  all
)  [virtual]
 

Implements Type.

Definition at line 1345 of file dfa.cpp.

References Type::isCompatibleWith(), Type::resolvesToChar(), Type::resolvesToInteger(), Type::resolvesToSize(), Type::resolvesToUnion(), Type::resolvesToVoid(), and size.

virtual bool IntegerType::isComplete (   )  [inline, virtual]
 

Reimplemented from Type.

Definition at line 274 of file type.h.

References signedness, and size.

virtual bool IntegerType::isInteger (   )  const [inline, virtual]
 

Reimplemented from Type.

Definition at line 273 of file type.h.

bool IntegerType::isSigned (   )  [inline]
 

Definition at line 287 of file type.h.

References signedness.

Referenced by ExpCastInserter::postVisit().

bool IntegerType::isUnsigned (   )  [inline]
 

Definition at line 288 of file type.h.

References signedness.

Exp * IntegerType::match (  Type *  pattern  )  [virtual]
 

Reimplemented from Type.

Definition at line 660 of file type.cpp.

References Type::match().

Type * IntegerType::meetWith (  Type *  other,
bool &  ch,
bool  bHighestPtr
)  [virtual]
 

Implements Type.

Definition at line 389 of file dfa.cpp.

References Type::asInteger(), max(), Type::resolvesToInteger(), Type::resolvesToVoid(), signedness, and size.

Referenced by DfaTest::testMeetInt().

Type * IntegerType::mergeWith (  Type *  other  )  [virtual]
 

Reimplemented from Type.

Definition at line 1145 of file type.cpp.

References Type::clone(), getSignedness(), getSize(), Type::isInteger(), NULL, setSigned(), setSize(), and signedness.

bool IntegerType::operator< (  const Type &  other  )  const [virtual]
 

Implements Type.

Definition at line 30 of file typeStubs.cpp.

bool IntegerType::operator== (  const Type &  other  )  const [virtual]
 

Implements Type.

Definition at line 29 of file typeStubs.cpp.

void IntegerType::setSigned (  int  sg  )  [inline]
 

Definition at line 292 of file type.h.

References signedness.

Referenced by checkSignedness(), mergeWith(), and DfaTest::testMeetInt().

virtual void IntegerType::setSize (  int  sz  )  [inline, virtual]
 

Reimplemented from Type.

Definition at line 285 of file type.h.

References size.

Referenced by mergeWith().

Friends And Related Function Documentation

friend class XMLProgParser [friend]
 

Reimplemented from Type.

Definition at line 305 of file type.h.

Member Data Documentation

int IntegerType::signedness [private]
 

Definition at line 268 of file type.h.

Referenced by bumpSigned(), getCtype(), getSignedness(), isComplete(), isSigned(), isUnsigned(), meetWith(), mergeWith(), XMLProgParser::persistToXML(), and setSigned().

unsigned IntegerType::size [private]
 

Definition at line 267 of file type.h.

Referenced by isCompatible(), isComplete(), meetWith(), XMLProgParser::persistToXML(), and setSize().

The documentation for this class was generated from the following files:
Generated on Tue Sep 19 21:18:43 2006 for Boomerang by  doxygen 1.4.6