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

#include <SVFValue.h>

Inheritance diagram for SVF::SVFMetadataAsValue:
SVF::SVFOtherValue SVF::SVFValue

Public Member Functions

 SVFMetadataAsValue (const SVFType *ty)
 
 SVFMetadataAsValue ()=delete
 
- Public Member Functions inherited from SVF::SVFOtherValue
 SVFOtherValue (const SVFType *ty, SVFValKind k=SVFValue::SVFOther)
 
 SVFOtherValue ()=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 SVFOtherValue *node)
 
- Static Public Member Functions inherited from SVF::SVFOtherValue
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 1056 of file SVFValue.h.

Constructor & Destructor Documentation

◆ SVFMetadataAsValue() [1/2]

SVF::SVFMetadataAsValue::SVFMetadataAsValue ( const SVFType ty)
inline

Definition at line 1061 of file SVFValue.h.

1063  {
1064  }
SVFOtherValue()=delete

◆ SVFMetadataAsValue() [2/2]

SVF::SVFMetadataAsValue::SVFMetadataAsValue ( )
delete

Member Function Documentation

◆ classof() [1/2]

static bool SVF::SVFMetadataAsValue::classof ( const SVFOtherValue node)
inlinestatic

Definition at line 1071 of file SVFValue.h.

1072  {
1073  return node->getKind() == SVFMetaAsValue;
1074  }

◆ classof() [2/2]

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

Definition at line 1067 of file SVFValue.h.

1068  {
1069  return node->getKind() == SVFMetaAsValue;
1070  }

Friends And Related Function Documentation

◆ SVFIRReader

friend class SVFIRReader
friend

Definition at line 1059 of file SVFValue.h.

◆ SVFIRWriter

friend class SVFIRWriter
friend

Definition at line 1058 of file SVFValue.h.


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