public interface ISDG extends NumberedGraph<Statement>, IClassHierarchyDweller
Statement
s.
This interface implies that the underlying graph is computed lazily on demand.Modifier and Type | Method and Description |
---|---|
Slicer.ControlDependenceOptions |
getCOptions()
Slicer.ControlDependenceOptions used to construct this graph. |
PDG |
getPDG(CGNode node)
Get the program dependence graph constructed for a particular node.
|
Iterator<? extends Statement> |
iterateLazyNodes()
Iterate over the nodes which have been discovered so far, but do NOT eagerly construct the entire graph.
|
removeNodeAndEdges
getMaxNumber, getNode, getNumber, iterateNodes
addNode, containsNode, getNumberOfNodes, iterator, removeNode
forEach, spliterator
getPredNodeNumbers, getSuccNodeNumbers
addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges
getClassHierarchy
Slicer.ControlDependenceOptions getCOptions()
Slicer.ControlDependenceOptions
used to construct this graph.