An edge carries the source packed Obj to the target ICFG location. More...

Inheritance diagram for SVF::SparseObjEdge:

Public Member Functions
	SparseObjEdge (SparseObjNode source, SparseObjNode target)
std::string	toString () const
Public Member Functions inherited from SVF::GenericEdge< SparseObjNode >
	GenericEdge (SparseObjNode s, SparseObjNode d, GEdgeFlag k)
	Constructor.
virtual	~GenericEdge ()
	Destructor.
NodeID	getSrcID () const
	get methods of the components
NodeID	getDstID () const
GEdgeKind	getEdgeKind () const
GEdgeKind	getEdgeKindWithoutMask () const
NodeType *	getSrcNode () const
NodeType *	getDstNode () const
virtual bool	operator== (const GenericEdge< NodeType > *rhs) const

Additional Inherited Members
Public Types inherited from SVF::GenericEdge< SparseObjNode >
typedef SparseObjNode	NodeType
	Node type.
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).
Static Protected Attributes inherited from SVF::GenericEdge< SparseObjNode >
static constexpr unsigned char	EdgeKindMaskBits
	We use the lower 8 bits to denote edge kind.
static constexpr u64_t	EdgeKindMask

Detailed Description

An edge carries the source packed Obj to the target ICFG location.

Definition at line 19 of file SparseObjGraph.h.

Constructor & Destructor Documentation

SVF::SparseObjEdge::SparseObjEdge	(	SparseObjNode *	source,
		SparseObjNode *	target )

inline

Definition at line 22 of file SparseObjGraph.h.

23 : GenericSparseObjEdgeTy(source, target, 0) {}

GenericEdge< SparseObjNode > GenericSparseObjEdgeTy

Definition SparseObjGraph.h:16

std::string SparseObjEdge::toString ( ) const

Definition at line 11 of file SparseObjGraph.cpp.

{
    std::ostringstream out;
    out << "edge " << getSrcID() << " -> " << getDstID();
    return out.str();
}

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