#include <SVFValue.h>

Inheritance diagram for SVF::SVFConstant:

Public Member Functions
	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)

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 798 of file SVFValue.h.

Constructor & Destructor Documentation

◆ SVFConstant() [1/2]

SVF::SVFConstant::SVFConstant	(	const SVFType *	ty,
		SVFValKind	k = `SVFConst`
	)

inline

Definition at line 803 of file SVFValue.h.

                                                            : SVFValue(ty, k)
     {
     }

◆ SVFConstant() [2/2]

SVF::SVFConstant::SVFConstant ( )

delete

Member Function Documentation

◆ classof()

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

inlinestatic

Definition at line 808 of file SVFValue.h.

     {
         return node->getKind() == SVFConst ||
                node->getKind() == SVFGlob ||
                node->getKind() == SVFConstData ||
                node->getKind() == SVFConstInt ||
                node->getKind() == SVFConstFP ||
                node->getKind() == SVFNullPtr ||
                node->getKind() == SVFBlackHole;
     }

Friends And Related Function Documentation

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 801 of file SVFValue.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

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

Public Member Functions

Static Public Member Functions

Friends

Additional Inherited Members