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.

Definition at line 10 of file SVFType.cpp.

{
    std::ostringstream os;
    print(os);
    return os.str();
}

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