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

#include <ConsGEdge.h>

Inheritance diagram for SVF::VariantGepCGEdge:
SVF::GepCGEdge SVF::ConstraintEdge SVF::GenericEdge< NodeTy >

Public Member Functions

 VariantGepCGEdge (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 VariantGepCGEdge *)
 Methods for support type inquiry through isa, cast, and dyn_cast: More...
 
static bool classof (const GepCGEdge *edge)
 
static bool classof (const ConstraintEdge *edge)
 
static bool classof (const GenericConsEdgeTy *edge)
 
- Static Public Member Functions inherited from SVF::GepCGEdge
static bool classof (const GepCGEdge *)
 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

 VariantGepCGEdge ()
 place holder More...
 
 VariantGepCGEdge (const VariantGepCGEdge &)
 place holder More...
 
void operator= (const VariantGepCGEdge &)
 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...
 
- Protected Member Functions inherited from SVF::GepCGEdge
 GepCGEdge (ConstraintNode *s, ConstraintNode *d, ConstraintEdgeK k, EdgeID id)
 Constructor. 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

Gep edge with variant offset size

Definition at line 319 of file ConsGEdge.h.

Constructor & Destructor Documentation

◆ VariantGepCGEdge() [1/3]

SVF::VariantGepCGEdge::VariantGepCGEdge ( )
private

place holder

◆ VariantGepCGEdge() [2/3]

SVF::VariantGepCGEdge::VariantGepCGEdge ( const VariantGepCGEdge )
private

place holder

◆ VariantGepCGEdge() [3/3]

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

Constructor.

Definition at line 348 of file ConsGEdge.h.

349  : GepCGEdge(s,d,VariantGep,id)
350  {}
GepCGEdge()
place holder

Member Function Documentation

◆ classof() [1/4]

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

Definition at line 337 of file ConsGEdge.h.

338  {
339  return edge->getEdgeKind() == VariantGep;
340  }

◆ classof() [2/4]

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

Definition at line 341 of file ConsGEdge.h.

342  {
343  return edge->getEdgeKind() == VariantGep;
344  }

◆ classof() [3/4]

static bool SVF::VariantGepCGEdge::classof ( const GepCGEdge edge)
inlinestatic

Definition at line 333 of file ConsGEdge.h.

334  {
335  return edge->getEdgeKind() == VariantGep;
336  }

◆ classof() [4/4]

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

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

Definition at line 329 of file ConsGEdge.h.

330  {
331  return true;
332  }

◆ operator=()

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

place holder


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