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

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

Constructor Detail

CompleteBlockGraph

public CompleteBlockGraph(Body b)