|
|||||||||
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.ZonedBlockGraph
A CFG where the nodes are Block instances, and where exception boundries are taken into account when finding the Blocks for the provided Body. That is any unit which is the first unit to be convered by some exception handler, will start a new Block, and any unit which is the last unit to be covered a some exception handler, will end the block it is part of.
Unit
,
Block
,
BlockGraph
,
CompleteBlockGraph
Constructor Summary | |
ZonedBlockGraph(Body body)
Constructs a graph of blocks found by partitioning the enclosing Body instance's chain of units into discrete Blocks. |
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 ZonedBlockGraph(Body body)
body
- The underlying body we want to make a
graph of Block for.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |