soot.toolkits.graph
Class BriefBlockGraph

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

public class BriefBlockGraph
extends BlockGraph

Represents a CFG for a Body instance where the nodes are Block instances, and where control flow associated with exceptions is ignored. Hence the graph will in fact be a forest where each exception handler will constitute a disjoint subgraph.


Fields inherited from class soot.toolkits.graph.BlockGraph
ARRAYREF, BRIEF, COMPLETE, ZONED
 
Constructor Summary
BriefBlockGraph(Body body)
          Constructs a BriefBlockGraph from a given Body instance.
 
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

BriefBlockGraph

public BriefBlockGraph(Body body)
Constructs a BriefBlockGraph from a given Body instance.
Parameters:
the - Body instance from which the graph is built.