Uses of Interface
soot.toolkits.scalar.BoundedFlowSet

Packages that use BoundedFlowSet

Package	Description
soot.jimple.toolkits.scalar.pre	Particial redundency elimination.
soot.toolkits.scalar	A number of scalar optimizations, and the flow analysis framework.

Uses of BoundedFlowSet in soot.jimple.toolkits.scalar.pre

Constructors in soot.jimple.toolkits.scalar.pre with parameters of type BoundedFlowSet

Constructor and Description
DelayabilityAnalysis(DirectedGraph<Unit> dg, EarliestnessComputation earliest, Map<Unit,EquivalentValue> equivRhsMap, BoundedFlowSet<EquivalentValue> set) Automatically performs the Delayability-analysis on the graph dg and the Earliest-computation earliest. the equivRhsMap is only here to avoid doing these things again... as set-operations are usually more efficient, if the sets come from one source, sets should be shared around analyses, if the analyses are to be combined.
DownSafetyAnalysis(DirectedGraph<Unit> dg, Map<Unit,EquivalentValue> unitToGen, SideEffectTester sideEffect, BoundedFlowSet<EquivalentValue> set) This constructor automatically performs the DownSafety-analysis. the result of the analysis is as usual in FlowBefore (getFlowBefore()) and FlowAfter (getFlowAfter()). as sets-operations are usually more efficient, if the original set comes from the same source, this allows to share sets.
LatestComputation(UnitGraph unitGraph, DelayabilityAnalysis delayed, Map<Unit,EquivalentValue> equivRhsMap, BoundedFlowSet<EquivalentValue> set) given a DelayabilityAnalysis and the computations of each unit, calculates the latest computation-point for each expression. the equivRhsMap could be calculated on the fly, but it is very likely that it already exists (as similar maps are used for calculating Earliestness, Delayed,... the shared set allows more efficient set-operations, when they the computation is merged with other analyses/computations.
NotIsolatedAnalysis(DirectedGraph<Unit> dg, LatestComputation latest, Map<Unit,EquivalentValue> equivRhsMap, BoundedFlowSet<EquivalentValue> set) Automatically performs the Isolation-analysis on the graph dg using the Latest-computation latest. the equivRhsMap is only here to avoid doing these things again... the shared set allows more efficient set-operations, when this analysis is joined with other analyses/computations.
UpSafetyAnalysis(DirectedGraph<Unit> dg, Map<Unit,EquivalentValue> unitToGen, SideEffectTester sideEffect, BoundedFlowSet<EquivalentValue> set) This constructor automatically performs the UpSafety-analysis. the result of the analysis is as usual in FlowBefore (getFlowBefore()) and FlowAfter (getFlowAfter()). As usually flowset-operations are more efficient if shared, this allows to share sets over several analyses.

Uses of BoundedFlowSet in soot.toolkits.scalar

Classes in soot.toolkits.scalar that implement BoundedFlowSet

Modifier and Type	Class and Description
class	AbstractBoundedFlowSet<T> provides functional code for most of the methods.
class	ArrayPackedSet<T> Reference implementation for a BoundedFlowSet.