Static Value-Flow Analysis
Public Member Functions | Static Public Member Functions | Private Attributes | Friends | List of all members
SVF::SVFIntegerType Class Reference

#include <SVFType.h>

Inheritance diagram for SVF::SVFIntegerType:
SVF::SVFType

Public Member Functions

 SVFIntegerType (u32_t byteSize=1)
 
void print (std::ostream &os) const override
 
void setSignAndWidth (short sw)
 
bool isSigned () const
 
- Public Member Functions inherited from SVF::SVFType
 SVFType (void)=delete
 
virtual ~SVFType ()
 
GNodeK getKind () const
 
std::string toString () const
 
void setTypeInfo (StInfo *ti)
 
StInfogetTypeInfo ()
 
const StInfogetTypeInfo () const
 
u32_t getByteSize () const
 
bool isPointerTy () const
 
bool isArrayTy () const
 
bool isStructTy () const
 
bool isSingleValueType () const
 

Static Public Member Functions

static bool classof (const SVFType *node)
 
- Static Public Member Functions inherited from SVF::SVFType
static SVFTypegetSVFPtrType ()
 
static SVFTypegetSVFInt8Type ()
 

Private Attributes

short signAndWidth
 For printing. More...
 

Friends

class SVFIRWriter
 
class SVFIRReader
 

Additional Inherited Members

- Public Types inherited from SVF::SVFType
enum  SVFTyKind {
  SVFTy , SVFPointerTy , SVFIntegerTy , SVFFunctionTy ,
  SVFStructTy , SVFArrayTy , SVFOtherTy
}
 
typedef s64_t GNodeK
 
- Protected Member Functions inherited from SVF::SVFType
 SVFType (bool svt, SVFTyKind k, u32_t Sz=1)
 

Detailed Description

Definition at line 291 of file SVFType.h.

Constructor & Destructor Documentation

◆ SVFIntegerType()

SVF::SVFIntegerType::SVFIntegerType ( u32_t  byteSize = 1)
inline

Definition at line 300 of file SVFType.h.

300 : SVFType(true, SVFIntegerTy, byteSize) {}
@ SVFIntegerTy
Definition: SVFType.h:169
u32_t byteSize
array
Definition: SVFType.h:199
SVFType(void)=delete

Member Function Documentation

◆ classof()

static bool SVF::SVFIntegerType::classof ( const SVFType node)
inlinestatic

Definition at line 301 of file SVFType.h.

302  {
303  return node->getKind() == SVFIntegerTy;
304  }

◆ isSigned()

bool SVF::SVFIntegerType::isSigned ( ) const
inline

Definition at line 313 of file SVFType.h.

314  {
315  return signAndWidth < 0;
316  }
short signAndWidth
For printing.
Definition: SVFType.h:297

◆ print()

void SVF::SVFIntegerType::print ( std::ostream &  os) const
overridevirtual

Implements SVF::SVFType.

Definition at line 29 of file SVFType.cpp.

30 {
31  if (signAndWidth < 0)
32  os << 'i' << -signAndWidth;
33  else
34  os << 'u' << signAndWidth;
35 }

◆ setSignAndWidth()

void SVF::SVFIntegerType::setSignAndWidth ( short  sw)
inline

Definition at line 308 of file SVFType.h.

309  {
310  signAndWidth = sw;
311  }

Friends And Related Function Documentation

◆ SVFIRReader

friend class SVFIRReader
friend

Definition at line 294 of file SVFType.h.

◆ SVFIRWriter

friend class SVFIRWriter
friend

Definition at line 293 of file SVFType.h.

Member Data Documentation

◆ signAndWidth

short SVF::SVFIntegerType::signAndWidth
private

For printing.

Definition at line 297 of file SVFType.h.


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