soot.toolkits.graph

Class CompleteBlockGraph

java.lang.Object

soot.toolkits.graph.BlockGraph

soot.toolkits.graph.ExceptionalBlockGraph

soot.toolkits.graph.CompleteBlockGraph

All Implemented Interfaces:

Iterable<Block>, DirectedGraph<Block>, ExceptionalGraph<Block>

public class CompleteBlockGraph
extends ExceptionalBlockGraph

Represents a CFG for a Body instance where the nodes are Block instances, and where control flow associated with exceptions is taken into account. When dividing the Body into basic blocks, CompleteBlockGraph assumes that every Unit covered by a Trap has the potential to throw an exception caught by the Trap. This generally has the effect of separating every covered Unit into a separate block.

This implementation of CompleteBlockGraph is included for backwards compatibility, but the graphs it produces are not necessarily identical to the graphs produced by the implementation of CompleteBlockGraph See the documentation for CompleteUnitGraph for details of the incompatibilities.

Nested Class Summary

Nested classes/interfaces inherited from class soot.toolkits.graph.ExceptionalBlockGraph

ExceptionalBlockGraph.ExceptionDest

Field Summary

Fields inherited from class soot.toolkits.graph.BlockGraph

mBlocks, mBody, mHeads, mTails, mUnits

Constructor Summary

Constructors

Constructor and Description
CompleteBlockGraph(Body b)

Method Summary

Methods inherited from class soot.toolkits.graph.ExceptionalBlockGraph

buildBlocks, getExceptionalPredsOf, getExceptionalSuccsOf, getExceptionDests, getUnexceptionalPredsOf, getUnexceptionalSuccsOf

Methods inherited from class soot.toolkits.graph.BlockGraph

computeLeaders, getBlocks, getBody, getHeads, getPredsOf, getSuccsOf, getTails, iterator, size, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface soot.toolkits.graph.ExceptionalGraph

getBody

Methods inherited from interface soot.toolkits.graph.DirectedGraph

getHeads, getPredsOf, getSuccsOf, getTails, iterator, size

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

CompleteBlockGraph

public CompleteBlockGraph(Body b)