com.ibm.wala.cast.ir.cfg

Class DelegatingCFG<I,T extends com.ibm.wala.cfg.IBasicBlock<I>>

java.lang.Object

com.ibm.wala.util.graph.AbstractGraph<T>

com.ibm.wala.util.graph.AbstractNumberedGraph<T>

com.ibm.wala.cast.ir.cfg.DelegatingCFG<I,T>

All Implemented Interfaces:

com.ibm.wala.cfg.ControlFlowGraph<I,T>, com.ibm.wala.cfg.MinimalCFG<T>, com.ibm.wala.util.graph.EdgeManager<T>, com.ibm.wala.util.graph.Graph<T>, com.ibm.wala.util.graph.NodeManager<T>, com.ibm.wala.util.graph.NumberedEdgeManager<T>, com.ibm.wala.util.graph.NumberedGraph<T>, com.ibm.wala.util.graph.NumberedNodeManager<T>, java.lang.Iterable<T>

public class DelegatingCFG<I,T extends com.ibm.wala.cfg.IBasicBlock<I>>
extends com.ibm.wala.util.graph.AbstractNumberedGraph<T>
implements com.ibm.wala.cfg.ControlFlowGraph<I,T>

Field Summary

Fields

Modifier and Type	Field and Description
protected com.ibm.wala.cfg.ControlFlowGraph<I,T>	parent

Constructor Summary

Constructors

Constructor and Description
DelegatingCFG(com.ibm.wala.cfg.ControlFlowGraph<I,T> parent)

Method Summary

Modifier and Type	Method and Description
T	entry()
T	exit()
T	getBlockForInstruction(int index)
com.ibm.wala.util.intset.BitVector	getCatchBlocks()
protected com.ibm.wala.util.graph.NumberedEdgeManager<T>	getEdgeManager()
java.util.Collection<T>	getExceptionalPredecessors(T b)
java.util.List<T>	getExceptionalSuccessors(T b)
I[]	getInstructions()
com.ibm.wala.classLoader.IMethod	getMethod()
protected com.ibm.wala.util.graph.NumberedNodeManager<T>	getNodeManager()
java.util.Collection<T>	getNormalPredecessors(T b)
java.util.Collection<T>	getNormalSuccessors(T b)
int	getProgramCounter(int index)

Methods inherited from class com.ibm.wala.util.graph.AbstractNumberedGraph

getMaxNumber, getNode, getNumber, getPredNodeNumbers, getSuccNodeNumbers, iterateNodes

Methods inherited from class com.ibm.wala.util.graph.AbstractGraph

addEdge, addNode, containsNode, edgeString, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, nodeString, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, stream, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

Field Detail

parent

protected final com.ibm.wala.cfg.ControlFlowGraph<I,T extends com.ibm.wala.cfg.IBasicBlock<I>> parent

Constructor Detail

DelegatingCFG

public DelegatingCFG(com.ibm.wala.cfg.ControlFlowGraph<I,T> parent)

Method Detail

getNodeManager

protected com.ibm.wala.util.graph.NumberedNodeManager<T> getNodeManager()

Overrides:

getNodeManager in class com.ibm.wala.util.graph.AbstractNumberedGraph<T extends com.ibm.wala.cfg.IBasicBlock<I>>

getEdgeManager

protected com.ibm.wala.util.graph.NumberedEdgeManager<T> getEdgeManager()

Overrides:

getEdgeManager in class com.ibm.wala.util.graph.AbstractNumberedGraph<T extends com.ibm.wala.cfg.IBasicBlock<I>>

entry

public T entry()

Specified by:

entry in interface com.ibm.wala.cfg.MinimalCFG<T extends com.ibm.wala.cfg.IBasicBlock<I>>

exit

public T exit()

Specified by:

exit in interface com.ibm.wala.cfg.MinimalCFG<T extends com.ibm.wala.cfg.IBasicBlock<I>>

getCatchBlocks

public com.ibm.wala.util.intset.BitVector getCatchBlocks()

Specified by:

getCatchBlocks in interface com.ibm.wala.cfg.ControlFlowGraph<I,T extends com.ibm.wala.cfg.IBasicBlock<I>>

getBlockForInstruction

public T getBlockForInstruction(int index)

Specified by:

getBlockForInstruction in interface com.ibm.wala.cfg.ControlFlowGraph<I,T extends com.ibm.wala.cfg.IBasicBlock<I>>

getInstructions

public I[] getInstructions()

Specified by:

getInstructions in interface com.ibm.wala.cfg.ControlFlowGraph<I,T extends com.ibm.wala.cfg.IBasicBlock<I>>

getProgramCounter

public int getProgramCounter(int index)

Specified by:

getProgramCounter in interface com.ibm.wala.cfg.ControlFlowGraph<I,T extends com.ibm.wala.cfg.IBasicBlock<I>>

getMethod

public com.ibm.wala.classLoader.IMethod getMethod()

Specified by:

getMethod in interface com.ibm.wala.cfg.ControlFlowGraph<I,T extends com.ibm.wala.cfg.IBasicBlock<I>>

getExceptionalSuccessors

public java.util.List<T> getExceptionalSuccessors(T b)

Specified by:

getExceptionalSuccessors in interface com.ibm.wala.cfg.MinimalCFG<T extends com.ibm.wala.cfg.IBasicBlock<I>>

getNormalSuccessors

public java.util.Collection<T> getNormalSuccessors(T b)

Specified by:

getNormalSuccessors in interface com.ibm.wala.cfg.MinimalCFG<T extends com.ibm.wala.cfg.IBasicBlock<I>>

getExceptionalPredecessors

public java.util.Collection<T> getExceptionalPredecessors(T b)

Specified by:

getExceptionalPredecessors in interface com.ibm.wala.cfg.MinimalCFG<T extends com.ibm.wala.cfg.IBasicBlock<I>>

getNormalPredecessors

public java.util.Collection<T> getNormalPredecessors(T b)

Specified by:

getNormalPredecessors in interface com.ibm.wala.cfg.MinimalCFG<T extends com.ibm.wala.cfg.IBasicBlock<I>>