|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | 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.
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)
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 |