|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectsoot.toolkits.graph.BlockGraph
soot.toolkits.graph.ExceptionalBlockGraph
soot.toolkits.graph.CompleteBlockGraph
public class CompleteBlockGraph
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.
| Nested Class Summary |
|---|
| Nested classes/interfaces inherited from class soot.toolkits.graph.ExceptionalBlockGraph |
|---|
ExceptionalBlockGraph.ExceptionDest |
| Field Summary |
|---|
| Fields inherited from class soot.toolkits.graph.BlockGraph |
|---|
mBlocks, mBody, mHeads, mTails, mUnits |
| Constructor Summary | |
|---|---|
CompleteBlockGraph(Body b)
|
|
| Method Summary |
|---|
| Methods inherited from class soot.toolkits.graph.ExceptionalBlockGraph |
|---|
buildBlocks, getExceptionalPredsOf, getExceptionalSuccsOf, getExceptionDests, getUnexceptionalPredsOf, getUnexceptionalSuccsOf |
| Methods inherited from class soot.toolkits.graph.BlockGraph |
|---|
computeLeaders, 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 |
| Methods inherited from interface soot.toolkits.graph.ExceptionalGraph |
|---|
getBody |
| Methods inherited from interface soot.toolkits.graph.DirectedGraph |
|---|
getHeads, getPredsOf, getSuccsOf, getTails, iterator, size |
| Constructor Detail |
|---|
public CompleteBlockGraph(Body b)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||