Interface ISDG
- All Superinterfaces:
EdgeManager<Statement>
,Graph<Statement>
,IClassHierarchyDweller
,Iterable<Statement>
,NodeManager<Statement>
,NumberedEdgeManager<Statement>
,NumberedGraph<Statement>
,NumberedNodeManager<Statement>
Interface for an SDG (loosely defined here as a graph of
Statement
s. This interface
implies that the underlying graph is computed lazily on demand.-
Method Summary
Modifier and TypeMethodDescriptionSlicer.ControlDependenceOptions
used to construct this graph.PDG
<? extends InstanceKey> Get the program dependence graph constructed for a particular node.Iterate over the nodes which have been discovered so far, but do NOT eagerly construct the entire graph.Methods inherited from interface com.ibm.wala.util.graph.EdgeManager
addEdge, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeOutgoingEdges
Methods inherited from interface com.ibm.wala.util.graph.Graph
removeNodeAndEdges
Methods inherited from interface com.ibm.wala.ipa.cha.IClassHierarchyDweller
getClassHierarchy
Methods inherited from interface java.lang.Iterable
forEach, spliterator
Methods inherited from interface com.ibm.wala.util.graph.NodeManager
addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream
Methods inherited from interface com.ibm.wala.util.graph.NumberedEdgeManager
getPredNodeNumbers, getSuccNodeNumbers
Methods inherited from interface com.ibm.wala.util.graph.NumberedNodeManager
getMaxNumber, getNode, getNumber, iterateNodes
-
Method Details
-
getCOptions
Slicer.ControlDependenceOptions getCOptions()Slicer.ControlDependenceOptions
used to construct this graph. -
getPDG
Get the program dependence graph constructed for a particular node. -
iterateLazyNodes
-