Package com.ibm.wala.cfg.exc.intra
Class MutableCFG<X,T extends IBasicBlock<X>>
- java.lang.Object
-
- com.ibm.wala.util.graph.AbstractGraph<T>
-
- com.ibm.wala.util.graph.AbstractNumberedGraph<T>
-
- com.ibm.wala.util.graph.impl.SparseNumberedGraph<T>
-
- com.ibm.wala.cfg.exc.intra.MutableCFG<X,T>
-
- All Implemented Interfaces:
ControlFlowGraph<X,T>
,EdgeManager<T>
,Graph<T>
,NodeManager<T>
,NumberedEdgeManager<T>
,NumberedGraph<T>
,NumberedNodeManager<T>
,Iterable<T>
public class MutableCFG<X,T extends IBasicBlock<X>> extends SparseNumberedGraph<T> implements ControlFlowGraph<X,T>
A modifiable control flow graph.
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static <I,T extends IBasicBlock<I>>
MutableCFG<I,T>copyFrom(ControlFlowGraph<I,T> cfg)
T
entry()
Return the entry basic block in the CFGT
exit()
T
getBlockForInstruction(int index)
BitVector
getCatchBlocks()
Collection<T>
getExceptionalPredecessors(T b)
The order of blocks returned should be arbitrary but deterministic.List<T>
getExceptionalSuccessors(T b)
The order of blocks returned must indicate the exception-handling scope.X[]
getInstructions()
IMethod
getMethod()
Collection<T>
getNormalPredecessors(T b)
The order of blocks returned should be arbitrary but deterministic.Collection<T>
getNormalSuccessors(T b)
The order of blocks returned should be arbitrary but deterministic.int
getProgramCounter(int index)
TODO: move this into IR?-
Methods inherited from class com.ibm.wala.util.graph.impl.SparseNumberedGraph
getEdgeManager, getNodeManager
-
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, getNumberOfNodes, getPredNodeCount, getPredNodes, getSuccNodeCount, getSuccNodes, hasEdge, iterator, removeAllIncidentEdges, removeEdge, removeIncomingEdges, removeNode, removeNodeAndEdges, removeOutgoingEdges, 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.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 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
-
copyFrom
public static <I,T extends IBasicBlock<I>> MutableCFG<I,T> copyFrom(ControlFlowGraph<I,T> cfg)
-
entry
public T entry()
Description copied from interface:ControlFlowGraph
Return the entry basic block in the CFG- Specified by:
entry
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
-
exit
public T exit()
- Specified by:
exit
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
- Returns:
- the synthetic exit block for the cfg
-
getCatchBlocks
public BitVector getCatchBlocks()
- Specified by:
getCatchBlocks
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
- Returns:
- the indices of the catch blocks, as a bit vector
-
getBlockForInstruction
public T getBlockForInstruction(int index)
- Specified by:
getBlockForInstruction
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
- Parameters:
index
- an instruction index- Returns:
- the basic block which contains this instruction.
-
getInstructions
public X[] getInstructions()
- Specified by:
getInstructions
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
- Returns:
- the instructions of this CFG, as an array.
-
getProgramCounter
public int getProgramCounter(int index)
Description copied from interface:ControlFlowGraph
TODO: move this into IR?- Specified by:
getProgramCounter
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
- Parameters:
index
- an instruction index- Returns:
- the program counter (bytecode index) corresponding to that instruction
-
getMethod
public IMethod getMethod()
- Specified by:
getMethod
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
- Returns:
- the Method this CFG represents
-
getExceptionalSuccessors
public List<T> getExceptionalSuccessors(T b)
Description copied from interface:ControlFlowGraph
The order of blocks returned must indicate the exception-handling scope. So the first block is the first candidate catch block, and so on. With this invariant one can compute the exceptional control flow for a given exception type.- Specified by:
getExceptionalSuccessors
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
- Returns:
- the basic blocks which may be reached from b via exceptional control flow
-
getNormalSuccessors
public Collection<T> getNormalSuccessors(T b)
Description copied from interface:ControlFlowGraph
The order of blocks returned should be arbitrary but deterministic.- Specified by:
getNormalSuccessors
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
- Returns:
- the basic blocks which may be reached from b via normal control flow
-
getExceptionalPredecessors
public Collection<T> getExceptionalPredecessors(T b)
Description copied from interface:ControlFlowGraph
The order of blocks returned should be arbitrary but deterministic.- Specified by:
getExceptionalPredecessors
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
- Returns:
- the basic blocks from which b may be reached via exceptional control flow
-
getNormalPredecessors
public Collection<T> getNormalPredecessors(T b)
Description copied from interface:ControlFlowGraph
The order of blocks returned should be arbitrary but deterministic.- Specified by:
getNormalPredecessors
in interfaceControlFlowGraph<X,T extends IBasicBlock<X>>
- Returns:
- the basic blocks from which b may be reached via normal control flow
-
-