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)

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	SVFIRWriter
class	SVFIRReader
class	LLVMModuleSet

Detailed Description

Definition at line 156 of file SVFType.h.

Member Typedef Documentation

GNodeK

typedef s64_t SVF::SVFType::GNodeK

Definition at line 163 of file SVFType.h.

Member Enumeration Documentation

SVFTyKind

enum SVF::SVFType::SVFTyKind

Enumerator
SVFTy
SVFPointerTy
SVFIntegerTy
SVFFunctionTy
SVFStructTy
SVFArrayTy
SVFOtherTy

Definition at line 165 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 204 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 211 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 249 of file SVFType.h.

    {
        return byteSize;
    }

getId()

u32_t SVF::SVFType::getId ( ) const

inline

Definition at line 225 of file SVFType.h.

    {
        return id;
    }

getKind()

GNodeK SVF::SVFType::getKind ( ) const

inline

Definition at line 213 of file SVFType.h.

    {
        return kind;
    }

getSVFInt8Type()

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

inlinestatic

Definition at line 184 of file SVFType.h.

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

getSVFPtrType()

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

inlinestatic

Definition at line 178 of file SVFType.h.

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

getTypeInfo() [1/2]

StInfo * SVF::SVFType::getTypeInfo ( )

inline

Definition at line 235 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 241 of file SVFType.h.

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

isArrayTy()

bool SVF::SVFType::isArrayTy ( ) const

inline

Definition at line 259 of file SVFType.h.

    {
        return kind == SVFArrayTy;
    }

isPointerTy()

bool SVF::SVFType::isPointerTy ( ) const

inline

Definition at line 254 of file SVFType.h.

    {
        return kind == SVFPointerTy;
    }

isSingleValueType()

bool SVF::SVFType::isSingleValueType ( ) const

inline

Definition at line 269 of file SVFType.h.

    {
        return isSingleValTy;
    }

isStructTy()

bool SVF::SVFType::isStructTy ( ) const

inline

Definition at line 264 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.

setTypeInfo()

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

inline

Definition at line 230 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 160 of file SVFType.h.

SVFIRReader

friend class SVFIRReader

friend

Definition at line 159 of file SVFType.h.

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 158 of file SVFType.h.

Member Data Documentation

byteSize

u32_t SVF::SVFType::byteSize

private

LLVM Byte Size.

Definition at line 199 of file SVFType.h.

id

u32_t SVF::SVFType::id

private

array

Definition at line 200 of file SVFType.h.

isSingleValTy

bool SVF::SVFType::isSingleValTy

private

The type represents a single value, not struct or.

Definition at line 198 of file SVFType.h.

kind

GNodeK SVF::SVFType::kind

private

used for classof

Definition at line 196 of file SVFType.h.

svfI8Ty

SVFType * SVF::SVFType::svfI8Ty = nullptr

staticprivate

8-bit int type

Definition at line 193 of file SVFType.h.

svfPtrTy

SVFType * SVF::SVFType::svfPtrTy = nullptr

staticprivate

ptr type

Definition at line 192 of file SVFType.h.

typeinfo

StInfo* SVF::SVFType::typeinfo

private

SVF's TypeInfo.

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