public class CISDG extends Object implements ISDG
| Modifier | Constructor and Description |
|---|---|
protected |
CISDG(SDG noHeap,
Map<Statement,Set<PointerKey>> mod,
Map<Statement,Set<PointerKey>> ref) |
protected CISDG(SDG noHeap, Map<Statement,Set<PointerKey>> mod, Map<Statement,Set<PointerKey>> ref)
public void addEdge(Statement src, Statement dst)
addEdge in interface com.ibm.wala.util.graph.EdgeManager<Statement>public void addNode(Statement n)
addNode in interface com.ibm.wala.util.graph.NodeManager<Statement>public boolean containsNode(Statement N)
containsNode in interface com.ibm.wala.util.graph.NodeManager<Statement>public Slicer.ControlDependenceOptions getCOptions()
ISDGSlicer.ControlDependenceOptions used to construct this graph.getCOptions in interface ISDGpublic int getMaxNumber()
getMaxNumber in interface com.ibm.wala.util.graph.NumberedNodeManager<Statement>public Statement getNode(int number)
getNode in interface com.ibm.wala.util.graph.NumberedNodeManager<Statement>public int getNumber(Statement N)
getNumber in interface com.ibm.wala.util.graph.NumberedNodeManager<Statement>public int getNumberOfNodes()
getNumberOfNodes in interface com.ibm.wala.util.graph.NodeManager<Statement>public PDG getPDG(CGNode node)
ISDGpublic int getPredNodeCount(Statement N)
getPredNodeCount in interface com.ibm.wala.util.graph.EdgeManager<Statement>public com.ibm.wala.util.intset.IntSet getPredNodeNumbers(Statement node)
getPredNodeNumbers in interface com.ibm.wala.util.graph.NumberedEdgeManager<Statement>public Iterator<Statement> getPredNodes(Statement N)
getPredNodes in interface com.ibm.wala.util.graph.EdgeManager<Statement>public int getSuccNodeCount(Statement N)
getSuccNodeCount in interface com.ibm.wala.util.graph.EdgeManager<Statement>public com.ibm.wala.util.intset.IntSet getSuccNodeNumbers(Statement node)
getSuccNodeNumbers in interface com.ibm.wala.util.graph.NumberedEdgeManager<Statement>public Iterator<Statement> getSuccNodes(Statement N)
getSuccNodes in interface com.ibm.wala.util.graph.EdgeManager<Statement>public boolean hasEdge(Statement src, Statement dst)
hasEdge in interface com.ibm.wala.util.graph.EdgeManager<Statement>public Iterator<? extends Statement> iterateLazyNodes()
ISDGiterateLazyNodes in interface ISDGpublic Iterator<Statement> iterateNodes(com.ibm.wala.util.intset.IntSet s)
iterateNodes in interface com.ibm.wala.util.graph.NumberedNodeManager<Statement>public void removeAllIncidentEdges(Statement node)
removeAllIncidentEdges in interface com.ibm.wala.util.graph.EdgeManager<Statement>public void removeEdge(Statement src, Statement dst)
removeEdge in interface com.ibm.wala.util.graph.EdgeManager<Statement>public void removeIncomingEdges(Statement node)
removeIncomingEdges in interface com.ibm.wala.util.graph.EdgeManager<Statement>public void removeNode(Statement n)
removeNode in interface com.ibm.wala.util.graph.NodeManager<Statement>public void removeNodeAndEdges(Statement N)
removeNodeAndEdges in interface com.ibm.wala.util.graph.Graph<Statement>public void removeOutgoingEdges(Statement node)
removeOutgoingEdges in interface com.ibm.wala.util.graph.EdgeManager<Statement>public IClassHierarchy getClassHierarchy()
getClassHierarchy in interface IClassHierarchyDwellerCopyright © 2015. All rights reserved.