Package soot.toolkits.graph
Class BriefUnitGraph
- java.lang.Object
-
- soot.toolkits.graph.UnitGraph
-
- soot.toolkits.graph.BriefUnitGraph
-
- All Implemented Interfaces:
Iterable<Unit>,DirectedBodyGraph<Unit>,DirectedGraph<Unit>
public class BriefUnitGraph extends UnitGraph
Represents a CFG where the nodes are Unit instances, and where no edges are included to account for control flow associated with exceptions.
-
-
Field Summary
-
Fields inherited from class soot.toolkits.graph.UnitGraph
body, heads, method, tails, unitChain, unitToPreds, unitToSuccs
-
-
Constructor Summary
Constructors Constructor Description BriefUnitGraph(Body body)Constructs a BriefUnitGraph given a Body instance.
-
Method Summary
-
Methods inherited from class soot.toolkits.graph.UnitGraph
addEdge, buildHeadsAndTails, buildUnexceptionalEdges, combineMapValues, 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
-
Methods inherited from interface java.lang.Iterable
forEach, spliterator
-
-
-
-
Constructor Detail
-
BriefUnitGraph
public BriefUnitGraph(Body body)
Constructs a BriefUnitGraph given a Body instance.- Parameters:
body- The underlying body we want to make a graph for.
-
-