SVF::SVFConstantInt Class Reference

#include <SVFValue.h>

Inheritance diagram for SVF::SVFConstantInt:

Public Member Functions
	SVFConstantInt (const SVFType *ty, u64_t z, s64_t s)
	SVFConstantInt ()=delete
u64_t	getZExtValue () const
s64_t	getSExtValue () const
Public Member Functions inherited from SVF::SVFConstantData
	SVFConstantData (const SVFType *ty, SVFValKind k=SVFConstData)
	SVFConstantData ()=delete
Public Member Functions inherited from SVF::SVFConstant
	SVFConstant (const SVFType *ty, SVFValKind k=SVFConst)
	SVFConstant ()=delete
Public Member Functions inherited from SVF::SVFValue
	SVFValue ()=delete
virtual	~SVFValue ()=default
GNodeK	getKind () const
	Get the type of this SVFValue. More...
const std::string &	getName () const
void	setName (const std::string &n)
void	setName (std::string &&n)
virtual const SVFType *	getType () const
bool	isConstDataOrAggData () const
bool	ptrInUncalledFunction () const
bool	isblackHole () const
bool	isNullPtr () const
virtual void	setSourceLoc (const std::string &sourceCodeInfo)
virtual const std::string	getSourceLoc () const
std::string	toString () const
	Needs to be implemented by a SVF front end. More...

Static Public Member Functions
static bool	classof (const SVFValue *node)
static bool	classof (const SVFConstantData *node)
Static Public Member Functions inherited from SVF::SVFConstantData
static bool	classof (const SVFValue *node)
static bool	classof (const SVFConstantData *node)
Static Public Member Functions inherited from SVF::SVFConstant
static bool	classof (const SVFValue *node)

Private Attributes
u64_t	zval
s64_t	sval

Friends
class	SVFIRWriter
class	SVFIRReader

Additional Inherited Members
Public Types inherited from SVF::SVFValue
enum	SVFValKind {   SVFVal , SVFFunc , SVFBB , SVFInst ,   SVFCall , SVFVCall , SVFGlob , SVFArg ,   SVFConst , SVFConstData , SVFConstInt , SVFConstFP ,   SVFNullPtr , SVFBlackHole , SVFMetaAsValue , SVFOther }
typedef s64_t	GNodeK
Protected Member Functions inherited from SVF::SVFValue
	SVFValue (const SVFType *ty, SVFValKind k)
	Constructor without name. More...
void	setConstDataOrAggData ()
void	setPtrInUncalledFunction ()
Protected Attributes inherited from SVF::SVFValue
const SVFType *	type
	Type of this SVFValue. More...
std::string	name
	Short name of value for printing & debugging. More...
std::string	sourceLoc

Detailed Description

Definition at line 931 of file SVFValue.h.

Constructor & Destructor Documentation

SVFConstantInt() [1/2]

SVF::SVFConstantInt::SVFConstantInt ( const SVFType *  ty, u64_t  z, s64_t  s  )

inline

Definition at line 939 of file SVFValue.h.

        : SVFConstantData(ty, SVFValue::SVFConstInt), zval(z), sval(s)
    {
    }

SVFConstantInt() [2/2]

SVF::SVFConstantInt::SVFConstantInt ( )

delete

Member Function Documentation

classof() [1/2]

static bool SVF::SVFConstantInt::classof ( const SVFConstantData *  node )

inlinestatic

Definition at line 949 of file SVFValue.h.

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

classof() [2/2]

static bool SVF::SVFConstantInt::classof ( const SVFValue *  node )

inlinestatic

Definition at line 945 of file SVFValue.h.

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

getSExtValue()

s64_t SVF::SVFConstantInt::getSExtValue ( ) const

inline

Definition at line 959 of file SVFValue.h.

    {
        return sval;
    }

getZExtValue()

u64_t SVF::SVFConstantInt::getZExtValue ( ) const

inline

Definition at line 954 of file SVFValue.h.

    {
        return zval;
    }

Friends And Related Function Documentation

SVFIRReader

friend class SVFIRReader

friend

Definition at line 934 of file SVFValue.h.

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 933 of file SVFValue.h.

Member Data Documentation

sval

s64_t SVF::SVFConstantInt::sval

private

Definition at line 937 of file SVFValue.h.

zval

u64_t SVF::SVFConstantInt::zval

private

Definition at line 936 of file SVFValue.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/SVFIR/SVFValue.h