soot.toolkits.graph
Class BriefUnitGraph
java.lang.Object
soot.toolkits.graph.UnitGraph
soot.toolkits.graph.BriefUnitGraph
- All Implemented Interfaces:
- Iterable<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.
- See Also:
Unit
,
UnitGraph
Constructor Summary |
BriefUnitGraph(Body body)
Constructs a BriefUnitGraph given a Body instance. |
Methods inherited from class soot.toolkits.graph.UnitGraph |
addEdge, buildHeadsAndTails, buildUnexceptionalEdges, combineMapValues, getBody, getExtendedBasicBlockPathBetween, getHeads, getPredsOf, getSuccsOf, getTails, iterator, makeMappedListsUnmodifiable, size, toString |
BriefUnitGraph
public BriefUnitGraph(Body body)
- Constructs a BriefUnitGraph given a Body instance.
- Parameters:
body
- The underlying body we want to make a
graph for.