Static Value-Flow Analysis
Public Member Functions | Static Public Member Functions | Friends | List of all members
SVF::SVFConstantData Class Reference

#include <SVFValue.h>

Inheritance diagram for SVF::SVFConstantData:
SVF::SVFConstant SVF::SVFValue SVF::SVFBlackHoleValue SVF::SVFConstantFP SVF::SVFConstantInt SVF::SVFConstantNullPtr

Public Member Functions

 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::stringgetName () const
 
void setName (const std::string &n)
 
void setName (std::string &&n)
 
virtual const SVFTypegetType () 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::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. More...
 
void setConstDataOrAggData ()
 
void setPtrInUncalledFunction ()
 
- Protected Attributes inherited from SVF::SVFValue
const SVFTypetype
 Type of this SVFValue. More...
 
std::string name
 Short name of value for printing & debugging. More...
 
std::string sourceLoc
 

Detailed Description

Definition at line 902 of file SVFValue.h.

Constructor & Destructor Documentation

◆ SVFConstantData() [1/2]

SVF::SVFConstantData::SVFConstantData ( const SVFType ty,
SVFValKind  k = SVFConstData 
)
inline

Definition at line 907 of file SVFValue.h.

908  : SVFConstant(ty, k)
909  {
910  }
SVFConstant()=delete

◆ SVFConstantData() [2/2]

SVF::SVFConstantData::SVFConstantData ( )
delete

Member Function Documentation

◆ classof() [1/2]

static bool SVF::SVFConstantData::classof ( const SVFConstantData node)
inlinestatic

Definition at line 921 of file SVFValue.h.

922  {
923  return node->getKind() == SVFConstData ||
924  node->getKind() == SVFConstInt ||
925  node->getKind() == SVFConstFP ||
926  node->getKind() == SVFNullPtr ||
927  node->getKind() == SVFBlackHole;
928  }

◆ classof() [2/2]

static bool SVF::SVFConstantData::classof ( const SVFValue node)
inlinestatic

Definition at line 913 of file SVFValue.h.

914  {
915  return node->getKind() == SVFConstData ||
916  node->getKind() == SVFConstInt ||
917  node->getKind() == SVFConstFP ||
918  node->getKind() == SVFNullPtr ||
919  node->getKind() == SVFBlackHole;
920  }

Friends And Related Function Documentation

◆ SVFIRReader

friend class SVFIRReader
friend

Definition at line 905 of file SVFValue.h.

◆ SVFIRWriter

friend class SVFIRWriter
friend

Definition at line 904 of file SVFValue.h.


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