com.ibm.wala.ipa.slicer

Interface ISDG

All Superinterfaces:

com.ibm.wala.util.graph.EdgeManager<Statement>, com.ibm.wala.util.graph.Graph<Statement>, IClassHierarchyDweller, 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

Methods

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.

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

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 getPDG(CGNode node)

Get the program dependence graph constructed for a particular node.

iterateLazyNodes

Iterator<? extends Statement> iterateLazyNodes()

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