Interface MinimalCFG<T>
- All Superinterfaces:
EdgeManager<T>
,Graph<T>
,Iterable<T>
,NodeManager<T>
,NumberedEdgeManager<T>
,NumberedGraph<T>
,NumberedNodeManager<T>
- All Known Subinterfaces:
ControlFlowGraph<I,
T>
- All Known Implementing Classes:
AbstractCFG
,AstInducedCFG
,AstTranslator.AstCFG
,DelegatingCFG
,DexCFG
,ExplodedControlFlowGraph
,InducedCFG
,JSInducedCFG
,MutableCFG
,PrunedCFG
,ShrikeCFG
,SSACFG
-
Method Summary
Modifier and TypeMethodDescriptionentry()
Return the entry basic block in the CFGexit()
The order of blocks returned should be arbitrary but deterministic.The order of blocks returned must indicate the exception-handling scope.The order of blocks returned should be arbitrary but deterministic.The order of blocks returned should be arbitrary but deterministic.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, stream
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 Details
-
entry
T entry()Return the entry basic block in the CFG -
exit
T exit()- Returns:
- the synthetic exit block for the cfg
-
getExceptionalSuccessors
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.- Returns:
- the basic blocks which may be reached from b via exceptional control flow
-
getNormalSuccessors
The order of blocks returned should be arbitrary but deterministic.- Returns:
- the basic blocks which may be reached from b via normal control flow
-
getExceptionalPredecessors
The order of blocks returned should be arbitrary but deterministic.- Returns:
- the basic blocks from which b may be reached via exceptional control flow
-
getNormalPredecessors
The order of blocks returned should be arbitrary but deterministic.- Returns:
- the basic blocks from which b may be reached via normal control flow
-