Static Value-Flow Analysis
Loading...
Searching...
No Matches
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 i, 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
 
u32_t getId () 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.
 

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 i=0, u32_t Sz=1)
 

Detailed Description

Definition at line 296 of file SVFType.h.

Constructor & Destructor Documentation

◆ SVFIntegerType()

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

Definition at line 305 of file SVFType.h.

305: SVFType(true, SVFIntegerTy, i, byteSize) {}
u32_t byteSize
LLVM Byte Size.
Definition SVFType.h:199
SVFType(void)=delete
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74

Member Function Documentation

◆ classof()

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

Definition at line 306 of file SVFType.h.

307 {
308 return node->getKind() == SVFIntegerTy;
309 }

◆ isSigned()

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

Definition at line 318 of file SVFType.h.

319 {
320 return signAndWidth < 0;
321 }
short signAndWidth
For printing.
Definition SVFType.h:302

◆ 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 313 of file SVFType.h.

314 {
316 }

Friends And Related Symbol Documentation

◆ SVFIRReader

friend class SVFIRReader
friend

Definition at line 299 of file SVFType.h.

◆ SVFIRWriter

friend class SVFIRWriter
friend

Definition at line 298 of file SVFType.h.

Member Data Documentation

◆ signAndWidth

short SVF::SVFIntegerType::signAndWidth
private

For printing.

Definition at line 302 of file SVFType.h.


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