#include <SVFLLVMValue.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::SVFLLVMValue
	SVFLLVMValue ()=delete

virtual	~SVFLLVMValue ()=default

GNodeK	getKind () const
	Get the type of this SVFValue.

const std::string &	getName () const

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 SVFLLVMValue *node)

static bool	classof (const SVFConstantData *node)

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

static bool	classof (const SVFConstantData *node)

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

Private Attributes
float	dval

Friends
class	SVFIRWriter

class	SVFIRReader

Additional Inherited Members
Public Types inherited from SVF::SVFLLVMValue
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::SVFLLVMValue
	SVFLLVMValue (const SVFType *ty, SVFValKind k)
	Constructor without name.

void	setConstDataOrAggData ()

void	setPtrInUncalledFunction ()

Protected Attributes inherited from SVF::SVFLLVMValue
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 682 of file SVFLLVMValue.h.

Constructor & Destructor Documentation

◆ SVFConstantFP() [1/2]

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

inline

Definition at line 689 of file SVFLLVMValue.h.

        : SVFConstantData(ty, SVFLLVMValue::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 703 of file SVFLLVMValue.h.

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

◆ classof() [2/2]

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

inlinestatic

Definition at line 699 of file SVFLLVMValue.h.

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

◆ getFPValue()

double SVF::SVFConstantFP::getFPValue ( ) const

inline

Definition at line 695 of file SVFLLVMValue.h.

    {
        return dval;
    }

Friends And Related Symbol Documentation

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 685 of file SVFLLVMValue.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 684 of file SVFLLVMValue.h.

Member Data Documentation

◆ dval

float SVF::SVFConstantFP::dval

private

Definition at line 687 of file SVFLLVMValue.h.

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

/home/runner/work/SVF/SVF/svf-llvm/include/SVF-LLVM/SVFLLVMValue.h

Public Member Functions

Static Public Member Functions

Private Attributes

Friends

Additional Inherited Members