|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.toolkits.graph.BlockGraph | +--soot.toolkits.graph.CompleteBlockGraph
Represents a CFG where the nodes are Block instances, and where control flow associated with exceptions is taken into account. That is, given a list of Units that have an exception handler in scope, each one of these units will be considered a Block as control can jump to an exception handler at any point while going through the units.
Unit
,
Block
,
BlockGraph
,
ZonedBlockGraph
Field Summary |
Fields inherited from class soot.toolkits.graph.BlockGraph |
ARRAYREF, BRIEF, COMPLETE, ZONED |
Constructor Summary | |
CompleteBlockGraph(Body body)
Constructs a graph for the blocks found by partitioning the the unit chain of the provided 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 CompleteBlockGraph(Body body)
body
- The underlying body we want to make a
graph for.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |