|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.toolkits.graph.UnitGraph | +--soot.toolkits.graph.CompleteUnitGraph
Represents a CFG for a Body instance where the nodes are Unit instances, and where control flow associated with exceptions is taken into account. That is all units covered by an exception handler will have edges to the exception handler.
Field Summary |
Fields inherited from class soot.toolkits.graph.UnitGraph |
body, method, unitChain, unitToPreds, unitToSuccs |
Constructor Summary | |
CompleteUnitGraph(Body body)
Constructs the graph from a given Body instance. |
Methods inherited from class soot.toolkits.graph.UnitGraph |
getBody, getExtendedBasicBlockPathBetween, 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 CompleteUnitGraph(Body body)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |