com.ibm.wala.ipa.slicer

Interface ISDG

All Superinterfaces:

com.ibm.wala.util.graph.EdgeManager<Statement>, com.ibm.wala.util.graph.Graph<Statement>, IClassHierarchyDweller, java.lang.Iterable<Statement>, com.ibm.wala.util.graph.NodeManager<Statement>, com.ibm.wala.util.graph.NumberedEdgeManager<Statement>, com.ibm.wala.util.graph.NumberedGraph<Statement>, com.ibm.wala.util.graph.NumberedNodeManager<Statement>

All Known Implementing Classes:

CISDG, SDG

public interface ISDG
extends com.ibm.wala.util.graph.NumberedGraph<Statement>, IClassHierarchyDweller

Interface for an SDG (loosely defined here as a graph of Statements. This interface implies that the underlying graph is computed lazily on demand.

Method Summary

Modifier and Type	Method and Description
Slicer.ControlDependenceOptions	getCOptions() Slicer.ControlDependenceOptions used to construct this graph.
PDG<? extends InstanceKey>	getPDG(CGNode node) Get the program dependence graph constructed for a particular node.
java.util.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.Graph

removeNodeAndEdges

Methods inherited from interface com.ibm.wala.util.graph.NumberedNodeManager

getMaxNumber, getNode, getNumber, iterateNodes

Methods inherited from interface com.ibm.wala.util.graph.NodeManager

addNode, containsNode, getNumberOfNodes, iterator, removeNode, stream

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Methods inherited from interface com.ibm.wala.util.graph.NumberedEdgeManager

getPredNodeNumbers, getSuccNodeNumbers

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.ipa.cha.IClassHierarchyDweller

getClassHierarchy

Method Detail

getCOptions

Slicer.ControlDependenceOptions getCOptions()

Slicer.ControlDependenceOptions used to construct this graph.

getPDG

PDG<? extends InstanceKey> getPDG(CGNode node)

Get the program dependence graph constructed for a particular node.

iterateLazyNodes

java.util.Iterator<? extends Statement> iterateLazyNodes()

Iterate over the nodes which have been discovered so far, but do NOT eagerly construct the entire graph.