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

#include <ConsGEdge.h>

Inheritance diagram for SVF::StoreCGEdge:
SVF::ConstraintEdge SVF::GenericEdge< NodeTy >

Public Member Functions

 StoreCGEdge (ConstraintNode *s, ConstraintNode *d, EdgeID id)
 constructor More...
 
- Public Member Functions inherited from SVF::ConstraintEdge
 ConstraintEdge (ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id=0)
 Constructor. More...
 
 ~ConstraintEdge ()
 Destructor. More...
 
EdgeID getEdgeID () const
 Return edge ID. More...
 
- Public Member Functions inherited from SVF::GenericEdge< NodeTy >
 GenericEdge (NodeTy *s, NodeTy *d, GEdgeFlag k)
 Constructor. More...
 
virtual ~GenericEdge ()
 Destructor. More...
 
NodeID getSrcID () const
 get methods of the components More...
 
NodeID getDstID () const
 
GEdgeKind getEdgeKind () const
 
GEdgeKind getEdgeKindWithoutMask () const
 
NodeTypegetSrcNode () const
 
NodeTypegetDstNode () const
 
virtual bool operator== (const GenericEdge< NodeType > *rhs) const
 

Static Public Member Functions

static bool classof (const StoreCGEdge *)
 Methods for support type inquiry through isa, cast, and dyn_cast: More...
 
static bool classof (const ConstraintEdge *edge)
 
static bool classof (const GenericConsEdgeTy *edge)
 
- Static Public Member Functions inherited from SVF::ConstraintEdge
static bool classof (const GenericConsEdgeTy *edge)
 ClassOf. More...
 

Private Member Functions

 StoreCGEdge ()
 place holder More...
 
 StoreCGEdge (const StoreCGEdge &)
 place holder More...
 
void operator= (const StoreCGEdge &)
 place holder More...
 

Additional Inherited Members

- Public Types inherited from SVF::ConstraintEdge
enum  ConstraintEdgeK {
  Addr , Copy , Store , Load ,
  NormalGep , VariantGep
}
 
typedef GenericNode< ConstraintNode, ConstraintEdge >::GEdgeSetTy ConstraintEdgeSetTy
 Constraint edge type. More...
 
- Public Types inherited from SVF::GenericEdge< NodeTy >
typedef NodeTy NodeType
 Node type. More...
 
typedef u64_t GEdgeFlag
 
typedef s64_t GEdgeKind
 
typedef struct SVF::GenericEdge::equalGEdge equalGEdge
 Add the hash function for std::set (we also can overload operator< to implement this) More...
 
- Static Protected Attributes inherited from SVF::GenericEdge< NodeTy >
static constexpr unsigned char EdgeKindMaskBits = 8
 We use the lower 8 bits to denote edge kind. More...
 
static constexpr u64_t EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits)
 

Detailed Description

Store edge

Definition at line 157 of file ConsGEdge.h.

Constructor & Destructor Documentation

◆ StoreCGEdge() [1/3]

SVF::StoreCGEdge::StoreCGEdge ( )
private

place holder

◆ StoreCGEdge() [2/3]

SVF::StoreCGEdge::StoreCGEdge ( const StoreCGEdge )
private

place holder

◆ StoreCGEdge() [3/3]

SVF::StoreCGEdge::StoreCGEdge ( ConstraintNode s,
ConstraintNode d,
EdgeID  id 
)
inline

constructor

Definition at line 182 of file ConsGEdge.h.

182  : ConstraintEdge(s,d,Store,id)
183  {
184  }
ConstraintEdge(ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id=0)
Constructor.
Definition: ConsGEdge.h:62

Member Function Documentation

◆ classof() [1/3]

static bool SVF::StoreCGEdge::classof ( const ConstraintEdge edge)
inlinestatic

Definition at line 171 of file ConsGEdge.h.

172  {
173  return edge->getEdgeKind() == Store;
174  }

◆ classof() [2/3]

static bool SVF::StoreCGEdge::classof ( const GenericConsEdgeTy edge)
inlinestatic

Definition at line 175 of file ConsGEdge.h.

176  {
177  return edge->getEdgeKind() == Store;
178  }

◆ classof() [3/3]

static bool SVF::StoreCGEdge::classof ( const StoreCGEdge )
inlinestatic

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 167 of file ConsGEdge.h.

168  {
169  return true;
170  }

◆ operator=()

void SVF::StoreCGEdge::operator= ( const StoreCGEdge )
private

place holder


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