soot.toolkits.graph
Class ArrayRefBlockGraph

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

public class ArrayRefBlockGraph
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.


Constructor Summary
ArrayRefBlockGraph(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

ArrayRefBlockGraph

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