|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.toolkits.graph.BlockGraph | +--soot.toolkits.graph.ArrayRefBlockGraph
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 | |
ArrayRefBlockGraph(Body body)
Constructs a ArrayRefBlockGraph 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 |
public ArrayRefBlockGraph(Body body)
the
- Body instance from which the graph is built.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |