#include <SVFValue.h>

Inheritance diagram for SVF::SVFConstantFP:

Public Member Functions
	SVFConstantFP (const SVFType *ty, double d)

	SVFConstantFP ()=delete

double	getFPValue () 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.

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)

Private Attributes
float	dval

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

Constructor & Destructor Documentation

◆ SVFConstantFP() [1/2]

SVF::SVFConstantFP::SVFConstantFP	(	const SVFType *	ty,
		double	d
	)

inline

Definition at line 923 of file SVFValue.h.

        : SVFConstantData(ty, SVFValue::SVFConstFP), dval(d)
    {
    }

◆ SVFConstantFP() [2/2]

SVF::SVFConstantFP::SVFConstantFP ( )

delete

Member Function Documentation

◆ classof() [1/2]

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

inlinestatic

Definition at line 937 of file SVFValue.h.

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

◆ classof() [2/2]

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

inlinestatic

Definition at line 933 of file SVFValue.h.

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

◆ getFPValue()

double SVF::SVFConstantFP::getFPValue ( ) const

inline

Definition at line 929 of file SVFValue.h.

    {
        return dval;
    }

Friends And Related Symbol Documentation

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 919 of file SVFValue.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 918 of file SVFValue.h.

Member Data Documentation

◆ dval

float SVF::SVFConstantFP::dval

private

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

Private Attributes

Friends

Additional Inherited Members