SVF::SVFType Class Reference

#include <SVFType.h>

Inheritance diagram for SVF::SVFType:

Public Types
enum	SVFTyKind {   SVFTy , SVFPointerTy , SVFIntegerTy , SVFFunctionTy ,   SVFStructTy , SVFArrayTy , SVFOtherTy }
typedef s64_t	GNodeK

Public Member Functions
	SVFType (void)=delete
virtual	~SVFType ()
GNodeK	getKind () const
std::string	toString () const
virtual void	print (std::ostream &os) const =0
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 SVFType *	getSVFPtrType ()
static SVFType *	getSVFInt8Type ()

Protected Member Functions
	SVFType (bool svt, SVFTyKind k, u32_t i=0, u32_t Sz=1)

Static Protected Member Functions
static void	setSVFPtrType (SVFType *ptrTy)
	set svfptrty and svfi8ty when initializing SVFType from db query results
static void	setSVFInt8Type (SVFType *i8Ty)

Private Attributes
GNodeK	kind
	used for classof
StInfo *	typeinfo
	SVF's TypeInfo.
bool	isSingleValTy
	The type represents a single value, not struct or.
u32_t	byteSize
	LLVM Byte Size.
u32_t	id
	array

Static Private Attributes
static SVFType *	svfPtrTy = nullptr
	ptr type
static SVFType *	svfI8Ty = nullptr
	8-bit int type

Friends
class	LLVMModuleSet

Detailed Description

Definition at line 181 of file SVFType.h.

Member Typedef Documentation

GNodeK

typedef s64_t SVF::SVFType::GNodeK

Definition at line 187 of file SVFType.h.

Member Enumeration Documentation

SVFTyKind

enum SVF::SVFType::SVFTyKind

Enumerator
SVFTy
SVFPointerTy
SVFIntegerTy
SVFFunctionTy
SVFStructTy
SVFArrayTy
SVFOtherTy

Definition at line 189 of file SVFType.h.

    {
        SVFTy,
        SVFPointerTy,
        SVFIntegerTy,
        SVFFunctionTy,
        SVFStructTy,
        SVFArrayTy,
        SVFOtherTy,
    };

Constructor & Destructor Documentation

SVFType() [1/2]

SVF::SVFType::SVFType ( bool  svt, SVFTyKind  k, u32_t  i = 0, u32_t  Sz = 1  )

inlineprotected

Definition at line 242 of file SVFType.h.

        : kind(k), typeinfo(nullptr),
          isSingleValTy(svt), byteSize(Sz), id(i)
    {
    }

SVFType() [2/2]

SVF::SVFType::SVFType ( void  )

delete

~SVFType()

virtual SVF::SVFType::~SVFType ( )

inlinevirtual

Definition at line 249 of file SVFType.h.

{}

Member Function Documentation

getByteSize()

u32_t SVF::SVFType::getByteSize ( ) const

inline

if Type is not sized, byteSize is 0 if Type is sized, byteSize is the LLVM Byte Size.

Definition at line 287 of file SVFType.h.

    {
        return byteSize;
    }

getId()

u32_t SVF::SVFType::getId ( ) const

inline

Definition at line 263 of file SVFType.h.

    {
        return id;
    }

getKind()

GNodeK SVF::SVFType::getKind ( ) const

inline

Definition at line 251 of file SVFType.h.

    {
        return kind;
    }

getSVFInt8Type()

static SVFType * SVF::SVFType::getSVFInt8Type ( )

inlinestatic

Definition at line 222 of file SVFType.h.

    {
        assert(svfI8Ty && "int8 type not set?");
        return svfI8Ty;
    }

getSVFPtrType()

static SVFType * SVF::SVFType::getSVFPtrType ( )

inlinestatic

Definition at line 216 of file SVFType.h.

    {
        assert(svfPtrTy && "ptr type not set?");
        return svfPtrTy;
    }

getTypeInfo() [1/2]

StInfo * SVF::SVFType::getTypeInfo ( )

inline

Definition at line 273 of file SVFType.h.

    {
        assert(typeinfo && "set the type info first");
        return typeinfo;
    }

getTypeInfo() [2/2]

const StInfo * SVF::SVFType::getTypeInfo ( ) const

inline

Definition at line 279 of file SVFType.h.

    {
        assert(typeinfo && "set the type info first");
        return typeinfo;
    }

isArrayTy()

bool SVF::SVFType::isArrayTy ( ) const

inline

Definition at line 297 of file SVFType.h.

    {
        return kind == SVFArrayTy;
    }

isPointerTy()

bool SVF::SVFType::isPointerTy ( ) const

inline

Definition at line 292 of file SVFType.h.

    {
        return kind == SVFPointerTy;
    }

isSingleValueType()

bool SVF::SVFType::isSingleValueType ( ) const

inline

Definition at line 307 of file SVFType.h.

    {
        return isSingleValTy;
    }

isStructTy()

bool SVF::SVFType::isStructTy ( ) const

inline

Definition at line 302 of file SVFType.h.

    {
        return kind == SVFStructTy;
    }

print()

virtual void SVF::SVFType::print ( std::ostream &  os ) const

pure virtual

Implemented in SVF::SVFPointerType, SVF::SVFIntegerType, SVF::SVFFunctionType, SVF::SVFStructType, SVF::SVFArrayType, and SVF::SVFOtherType.

setSVFInt8Type()

static void SVF::SVFType::setSVFInt8Type ( SVFType *  i8Ty )

inlinestaticprotected

Definition at line 208 of file SVFType.h.

    {
        svfI8Ty = i8Ty;
    }

setSVFPtrType()

static void SVF::SVFType::setSVFPtrType ( SVFType *  ptrTy )

inlinestaticprotected

set svfptrty and svfi8ty when initializing SVFType from db query results

Definition at line 203 of file SVFType.h.

    {
        svfPtrTy = ptrTy;
    }

setTypeInfo()

void SVF::SVFType::setTypeInfo ( StInfo *  ti )

inline

Definition at line 268 of file SVFType.h.

    {
        typeinfo = ti;
    }

toString()

std::string SVF::SVFType::toString

(

)

const

Note

Use os<<svfType or svfType.print(os) when possible to avoid string concatenation.

Friends And Related Symbol Documentation

LLVMModuleSet

friend class LLVMModuleSet

friend

Definition at line 184 of file SVFType.h.

Member Data Documentation

byteSize

u32_t SVF::SVFType::byteSize

private

LLVM Byte Size.

Definition at line 237 of file SVFType.h.

id

u32_t SVF::SVFType::id

private

array

Definition at line 238 of file SVFType.h.

isSingleValTy

bool SVF::SVFType::isSingleValTy

private

The type represents a single value, not struct or.

Definition at line 236 of file SVFType.h.

kind

GNodeK SVF::SVFType::kind

private

used for classof

Definition at line 234 of file SVFType.h.

svfI8Ty

SVFType * SVF::SVFType::svfI8Ty = nullptr

staticprivate

8-bit int type

Definition at line 231 of file SVFType.h.

svfPtrTy

SVFType * SVF::SVFType::svfPtrTy = nullptr

staticprivate

ptr type

Definition at line 230 of file SVFType.h.

typeinfo

StInfo* SVF::SVFType::typeinfo

private

SVF's TypeInfo.

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