SVF::SVFIntegerType Class Reference

#include <SVFType.h>

Inheritance diagram for SVF::SVFIntegerType:

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)
StInfo *	getTypeInfo ()
const StInfo *	getTypeInfo () 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 SVFType *	getSVFPtrType ()
static SVFType *	getSVFInt8Type ()

Protected Member Functions
short	getSignAndWidth () const
Protected Member Functions inherited from SVF::SVFType
	SVFType (bool svt, SVFTyKind k, u32_t i=0, u32_t Sz=1)

Private Attributes
short	signAndWidth
	For printing.

Friends
class	GraphDBClient

Additional Inherited Members
Public Types inherited from SVF::SVFType
enum	SVFTyKind {   SVFTy , SVFPointerTy , SVFIntegerTy , SVFFunctionTy ,   SVFStructTy , SVFArrayTy , SVFOtherTy }
typedef s64_t	GNodeK
Static Protected Member Functions inherited from SVF::SVFType
static void	setSVFPtrType (SVFType *ptrTy)
	set svfptrty and svfi8ty when initializing SVFType from db query results
static void	setSVFInt8Type (SVFType *i8Ty)

Detailed Description

Definition at line 336 of file SVFType.h.

Constructor & Destructor Documentation

SVFIntegerType()

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

inline

Definition at line 351 of file SVFType.h.

: SVFType(true, SVFIntegerTy, i, byteSize) {}

Member Function Documentation

classof()

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

inlinestatic

Definition at line 352 of file SVFType.h.

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

getSignAndWidth()

short SVF::SVFIntegerType::getSignAndWidth ( ) const

inlineprotected

Definition at line 345 of file SVFType.h.

    {
        return signAndWidth;
    }

isSigned()

bool SVF::SVFIntegerType::isSigned ( ) const

inline

Definition at line 364 of file SVFType.h.

    {
        return signAndWidth < 0;
    }

print()

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

overridevirtual

Implements SVF::SVFType.

Definition at line 29 of file SVFType.cpp.

{
    if (signAndWidth < 0)
        os << 'i' << -signAndWidth;
    else
        os << 'u' << signAndWidth;
}

setSignAndWidth()

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

inline

Definition at line 359 of file SVFType.h.

    {
        signAndWidth = sw;
    }

Friends And Related Symbol Documentation

GraphDBClient

friend class GraphDBClient

friend

Definition at line 338 of file SVFType.h.

Member Data Documentation

signAndWidth

short SVF::SVFIntegerType::signAndWidth

private

For printing.

Definition at line 341 of file SVFType.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/SVFIR/SVFType.h
• /home/runner/work/SVF/SVF/svf/lib/SVFIR/SVFType.cpp