#include <SVFValue.h>

Inheritance diagram for SVF::SVFBlackHoleValue:

Public Member Functions
	SVFBlackHoleValue (const SVFType *ty)

	SVFBlackHoleValue ()=delete

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.

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.

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)

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.

void	setConstDataOrAggData ()

void	setPtrInUncalledFunction ()

Protected Attributes inherited from SVF::SVFValue
const SVFType *	type
	Type of this SVFValue.

std::string	name
	Short name of value for printing & debugging.

std::string	sourceLoc

Detailed Description

Definition at line 965 of file SVFValue.h.

Constructor & Destructor Documentation

◆ SVFBlackHoleValue() [1/2]

SVF::SVFBlackHoleValue::SVFBlackHoleValue ( const SVFType * ty )

inline

Definition at line 971 of file SVFValue.h.

        : SVFConstantData(ty, SVFValue::SVFBlackHole)
    {
    }

◆ SVFBlackHoleValue() [2/2]

SVF::SVFBlackHoleValue::SVFBlackHoleValue ( )

delete

Member Function Documentation

◆ classof() [1/2]

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

inlinestatic

Definition at line 981 of file SVFValue.h.

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

◆ classof() [2/2]

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

inlinestatic

Definition at line 977 of file SVFValue.h.

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

Friends And Related Symbol Documentation

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 968 of file SVFValue.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

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