Uses of Interface
soot.toolkits.scalar.BoundedFlowSet

Packages that use BoundedFlowSet

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

DelayabilityAnalysis(DirectedGraph dg, EarliestnessComputation earliest, Map equivRhsMap, BoundedFlowSet set)
automaticly 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.

DelayabilityAnalysis(DirectedGraph dg, EarliestnessComputation earliest, Map equivRhsMap, BoundedFlowSet set)
automaticly 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 dg, Map unitToGen, SideEffectTester sideEffect, BoundedFlowSet set)
this constructor automaticly 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.

DownSafetyAnalysis(DirectedGraph dg, Map unitToGen, SideEffectTester sideEffect, BoundedFlowSet set)
this constructor automaticly 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 equivRhsMap, BoundedFlowSet 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.

LatestComputation(UnitGraph unitGraph, DelayabilityAnalysis delayed, Map equivRhsMap, BoundedFlowSet 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 dg, LatestComputation latest, Map equivRhsMap, BoundedFlowSet set)
automaticly 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.

NotIsolatedAnalysis(DirectedGraph dg, LatestComputation latest, Map equivRhsMap, BoundedFlowSet set)
automaticly 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 dg, Map unitToGen, SideEffectTester sideEffect, BoundedFlowSet set)
this constructor automaticly 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.

UpSafetyAnalysis(DirectedGraph dg, Map unitToGen, SideEffectTester sideEffect, BoundedFlowSet set)
this constructor automaticly 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

class	AbstractBoundedFlowSet provides functional code for most of the methods.
class	ArrayPackedSet Reference implementation for a BoundedFlowSet.