soot.toolkits.graph
Class ZonedBlockGraph

java.lang.Object
  |
  +--soot.toolkits.graph.BlockGraph
        |
        +--soot.toolkits.graph.ZonedBlockGraph

public class ZonedBlockGraph
extends BlockGraph

A CFG where the nodes are Block instances, and where exception boundries are taken into account when finding the Blocks for the provided Body. That is any unit which is the first unit to be convered by some exception handler, will start a new Block, and any unit which is the last unit to be covered a some exception handler, will end the block it is part of.

See Also:
Unit, Block, BlockGraph, CompleteBlockGraph

Constructor Summary
ZonedBlockGraph(Body body)
          Constructs a graph of blocks found by partitioning the enclosing Body instance's chain of units into discrete Blocks.
 
Methods inherited from class soot.toolkits.graph.BlockGraph
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
 

Constructor Detail

ZonedBlockGraph

public ZonedBlockGraph(Body body)
Constructs a graph of blocks found by partitioning the enclosing Body instance's chain of units into discrete Blocks.
Parameters:
body - The underlying body we want to make a graph of Block for.