Package soot.toolkits.graph

Class CompleteBlockGraph

  • All Implemented Interfaces:
    Iterable<Block>, DirectedBodyGraph<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.

    • Constructor Detail

      • CompleteBlockGraph

        public CompleteBlockGraph​(Body b)