Package com.ibm.wala.ipa.slicer
Interface ISDG
-
- All Superinterfaces:
EdgeManager<Statement>,Graph<Statement>,IClassHierarchyDweller,Iterable<Statement>,NodeManager<Statement>,NumberedEdgeManager<Statement>,NumberedGraph<Statement>,NumberedNodeManager<Statement>
public interface ISDG extends NumberedGraph<Statement>, IClassHierarchyDweller
Interface for an SDG (loosely defined here as a graph ofStatements. This interface implies that the underlying graph is computed lazily on demand.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description Slicer.ControlDependenceOptionsgetCOptions()Slicer.ControlDependenceOptionsused to construct this graph.PDGgetPDG(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.-
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
-
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 Detail
-
getCOptions
Slicer.ControlDependenceOptions getCOptions()
Slicer.ControlDependenceOptionsused to construct this graph.
-
-