soot.toolkits.graph

Class BriefUnitGraph

java.lang.Object

soot.toolkits.graph.UnitGraph

soot.toolkits.graph.BriefUnitGraph

All Implemented Interfaces:

java.lang.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

Field Summary

Fields inherited from class soot.toolkits.graph.UnitGraph

body, heads, method, tails, unitChain, unitToPreds, unitToSuccs

Constructor Summary

Constructors

Constructor and 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.