SVF::SVFArrayType Class Reference

#include <SVFType.h>

Inheritance diagram for SVF::SVFArrayType:

Public Member Functions
	SVFArrayType (u32_t i, u32_t byteSize=1)
	For printing & debugging.
void	print (std::ostream &os) const override
const SVFType *	getTypeOfElement () const
void	setTypeOfElement (const SVFType *elemType)
void	setNumOfElement (unsigned elemNum)
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
const unsigned	getNumOfElement () const
Protected Member Functions inherited from SVF::SVFType
	SVFType (bool svt, SVFTyKind k, u32_t i=0, u32_t Sz=1)

Private Attributes
unsigned	numOfElement
const SVFType *	typeOfElement
	For printing & debugging.

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

Constructor & Destructor Documentation

SVFArrayType()

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

inline

For printing & debugging.

Definition at line 491 of file SVFType.h.

        : SVFType(false, SVFArrayTy, i, byteSize), numOfElement(0), typeOfElement(nullptr)
    {
    }

Member Function Documentation

classof()

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

inlinestatic

Definition at line 496 of file SVFType.h.

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

getNumOfElement()

const unsigned SVF::SVFArrayType::getNumOfElement ( ) const

inlineprotected

Definition at line 481 of file SVFType.h.

    {
        return numOfElement;
    }

getTypeOfElement()

const SVFType * SVF::SVFArrayType::getTypeOfElement ( ) const

inline

Definition at line 503 of file SVFType.h.

    {
        return typeOfElement;
    }

print()

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

overridevirtual

Implements SVF::SVFType.

Definition at line 82 of file SVFType.cpp.

{
    os << '[' << numOfElement << 'x' << *typeOfElement << ']';
}

setNumOfElement()

void SVF::SVFArrayType::setNumOfElement ( unsigned  elemNum )

inline

Definition at line 513 of file SVFType.h.

    {
        numOfElement = elemNum;
    }

setTypeOfElement()

void SVF::SVFArrayType::setTypeOfElement ( const SVFType *  elemType )

inline

Definition at line 508 of file SVFType.h.

    {
        typeOfElement = elemType;
    }

Friends And Related Symbol Documentation

GraphDBClient

friend class GraphDBClient

friend

Definition at line 478 of file SVFType.h.

Member Data Documentation

numOfElement

unsigned SVF::SVFArrayType::numOfElement

private

Definition at line 487 of file SVFType.h.

typeOfElement

const SVFType* SVF::SVFArrayType::typeOfElement

private

For printing & debugging.

Definition at line 488 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