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 ofStatement
s. 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.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.-
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.ControlDependenceOptions
used to construct this graph.
-
-