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 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.
 

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) {}
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}
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74

◆ setSignAndWidth()

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

Definition at line 308 of file SVFType.h.

309 {
311 }

Friends And Related Symbol Documentation

◆ SVFIRReader

Definition at line 294 of file SVFType.h.

◆ SVFIRWriter

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: