Package | Description |
---|---|
soot.dava.toolkits.base.AST.structuredAnalysis | |
soot.jbco.jimpleTransformations | |
soot.jimple.toolkits.annotation.nullcheck |
Classes that carry out an analysis to determine whether or not null pointer
checks are necessary.
|
soot.jimple.toolkits.infoflow | |
soot.jimple.toolkits.scalar |
A toolkit for scalar optimization of Jimple.
|
soot.jimple.toolkits.scalar.pre |
Particial redundency elimination.
|
soot.jimple.toolkits.thread.mhp | |
soot.jimple.toolkits.thread.mhp.findobject | |
soot.jimple.toolkits.thread.synchronization | |
soot.toolkits.graph |
Toolkit to produce and manipulate various types of control flow
graphs.
|
soot.toolkits.scalar |
A number of scalar optimizations, and the flow analysis framework.
|
Modifier and Type | Class and Description |
---|---|
class |
CPFlowSet |
class |
DavaFlowSet<T> |
class |
UnreachableCodeFinder.UnreachableCodeFlowSet |
Modifier and Type | Method and Description |
---|---|
FlowSet<T> |
DavaFlowSet.emptySet() |
FlowSet<T> |
DavaFlowSet.emptySet() |
Modifier and Type | Method and Description |
---|---|
void |
DavaFlowSet.copy(FlowSet<T> destFlow) |
void |
DavaFlowSet.copy(FlowSet<T> destFlow) |
void |
DavaFlowSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
DavaFlowSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
DavaFlowSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
DavaFlowSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
DavaFlowSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow)
Notice that the intersection method only merges the elements of the flow
set DavaFlowSet also contains information regarding abrupt control flow
This should also be merged using the copyInternalDataFrom method
|
void |
DavaFlowSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow)
Notice that the intersection method only merges the elements of the flow
set DavaFlowSet also contains information regarding abrupt control flow
This should also be merged using the copyInternalDataFrom method
|
void |
DavaFlowSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow)
Notice that the intersection method only merges the elements of the flow
set DavaFlowSet also contains information regarding abrupt control flow
This should also be merged using the copyInternalDataFrom method
|
void |
DavaFlowSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow)
Notice that the intersection method only merges the elements of the flow
set DavaFlowSet also contains information regarding abrupt control flow
This should also be merged using the copyInternalDataFrom method
|
void |
CPFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow) |
void |
CPFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow) |
void |
UnreachableCodeFinder.UnreachableCodeFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow) |
void |
UnreachableCodeFinder.UnreachableCodeFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow) |
void |
UnreachableCodeFinder.UnreachableCodeFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow) |
void |
UnreachableCodeFinder.UnreachableCodeFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow) |
void |
CPFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow) |
void |
CPFlowSet.intersection(FlowSet otherFlow,
FlowSet destFlow) |
void |
DavaFlowSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow)
Notice that the union method only merges the elements of the flow set
DavaFlowSet also contains information regarding abrupt control flow This
should also be merged using the copyInternalDataFrom method
|
void |
DavaFlowSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow)
Notice that the union method only merges the elements of the flow set
DavaFlowSet also contains information regarding abrupt control flow This
should also be merged using the copyInternalDataFrom method
|
void |
DavaFlowSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow)
Notice that the union method only merges the elements of the flow set
DavaFlowSet also contains information regarding abrupt control flow This
should also be merged using the copyInternalDataFrom method
|
void |
DavaFlowSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow)
Notice that the union method only merges the elements of the flow set
DavaFlowSet also contains information regarding abrupt control flow This
should also be merged using the copyInternalDataFrom method
|
Modifier and Type | Method and Description |
---|---|
protected FlowSet |
New2InitFlowAnalysis.entryInitialFlow() |
protected FlowSet |
New2InitFlowAnalysis.entryInitialFlow() |
protected FlowSet |
New2InitFlowAnalysis.newInitialFlow() |
protected FlowSet |
New2InitFlowAnalysis.newInitialFlow() |
Modifier and Type | Method and Description |
---|---|
protected void |
New2InitFlowAnalysis.copy(FlowSet source,
FlowSet dest) |
protected void |
New2InitFlowAnalysis.copy(FlowSet source,
FlowSet dest) |
protected void |
New2InitFlowAnalysis.copy(FlowSet source,
FlowSet dest) |
protected void |
New2InitFlowAnalysis.copy(FlowSet source,
FlowSet dest) |
protected void |
New2InitFlowAnalysis.flowThrough(FlowSet in,
Unit d,
FlowSet out) |
protected void |
New2InitFlowAnalysis.flowThrough(FlowSet in,
Unit d,
FlowSet out) |
protected void |
New2InitFlowAnalysis.flowThrough(FlowSet in,
Unit d,
FlowSet out) |
protected void |
New2InitFlowAnalysis.flowThrough(FlowSet in,
Unit d,
FlowSet out) |
protected void |
New2InitFlowAnalysis.merge(FlowSet in1,
FlowSet in2,
FlowSet out) |
protected void |
New2InitFlowAnalysis.merge(FlowSet in1,
FlowSet in2,
FlowSet out) |
protected void |
New2InitFlowAnalysis.merge(FlowSet in1,
FlowSet in2,
FlowSet out) |
protected void |
New2InitFlowAnalysis.merge(FlowSet in1,
FlowSet in2,
FlowSet out) |
protected void |
New2InitFlowAnalysis.merge(FlowSet in1,
FlowSet in2,
FlowSet out) |
protected void |
New2InitFlowAnalysis.merge(FlowSet in1,
FlowSet in2,
FlowSet out) |
Modifier and Type | Field and Description |
---|---|
protected FlowSet |
BranchedRefVarsAnalysis.emptySet
Deprecated.
|
protected FlowSet |
BranchedRefVarsAnalysis.emptySet
Deprecated.
|
protected FlowSet |
BranchedRefVarsAnalysis.fullSet
Deprecated.
|
protected FlowSet |
BranchedRefVarsAnalysis.fullSet
Deprecated.
|
protected FlowSet |
BranchedRefVarsAnalysis.tempFlowSet
Deprecated.
|
protected FlowSet |
BranchedRefVarsAnalysis.tempFlowSet
Deprecated.
|
Modifier and Type | Field and Description |
---|---|
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToGenerateSet
Deprecated.
|
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToGenerateSet
Deprecated.
|
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToPreserveSet
Deprecated.
|
protected Map<Unit,FlowSet> |
BranchedRefVarsAnalysis.unitToPreserveSet
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
int |
BranchedRefVarsAnalysis.anyRefInfo(Value r,
FlowSet f)
Deprecated.
|
int |
BranchedRefVarsAnalysis.anyRefInfo(Value r,
FlowSet f)
Deprecated.
|
protected int |
BranchedRefVarsAnalysis.refInfo(EquivalentValue r,
FlowSet fs)
Deprecated.
|
protected int |
BranchedRefVarsAnalysis.refInfo(EquivalentValue r,
FlowSet fs)
Deprecated.
|
protected int |
BranchedRefVarsAnalysis.refInfo(Value r,
FlowSet fs)
Deprecated.
|
protected int |
BranchedRefVarsAnalysis.refInfo(Value r,
FlowSet fs)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
protected FlowSet<Pair<EquivalentValue,EquivalentValue>> |
SimpleMethodInfoFlowAnalysis.entryInitialFlow() |
protected FlowSet<Pair<EquivalentValue,EquivalentValue>> |
SimpleMethodInfoFlowAnalysis.entryInitialFlow() |
protected FlowSet<Pair<EquivalentValue,EquivalentValue>> |
SimpleMethodInfoFlowAnalysis.newInitialFlow() |
protected FlowSet<Pair<EquivalentValue,EquivalentValue>> |
SimpleMethodInfoFlowAnalysis.newInitialFlow() |
Modifier and Type | Class and Description |
---|---|
class |
ToppedSet<T>
Represents information for flow analysis, adding a top element to a lattice.
|
Modifier and Type | Method and Description |
---|---|
FlowSet<T> |
ToppedSet.emptySet() |
FlowSet<T> |
ToppedSet.emptySet() |
protected FlowSet |
EqualUsesAnalysis.entryInitialFlow()
Deprecated.
|
protected FlowSet<Value> |
FastAvailableExpressionsAnalysis.entryInitialFlow() |
protected FlowSet<Value> |
SlowAvailableExpressionsAnalysis.entryInitialFlow() |
protected FlowSet |
EqualUsesAnalysis.entryInitialFlow()
Deprecated.
|
protected FlowSet<Value> |
FastAvailableExpressionsAnalysis.entryInitialFlow() |
protected FlowSet<Value> |
SlowAvailableExpressionsAnalysis.entryInitialFlow() |
protected FlowSet |
EqualUsesAnalysis.newInitialFlow()
Deprecated.
|
protected FlowSet<Value> |
FastAvailableExpressionsAnalysis.newInitialFlow() |
protected FlowSet<Value> |
PessimisticAvailableExpressionsAnalysis.newInitialFlow() |
protected FlowSet<Value> |
SlowAvailableExpressionsAnalysis.newInitialFlow() |
protected FlowSet |
EqualUsesAnalysis.newInitialFlow()
Deprecated.
|
protected FlowSet<Value> |
PessimisticAvailableExpressionsAnalysis.newInitialFlow() |
protected FlowSet<Value> |
FastAvailableExpressionsAnalysis.newInitialFlow() |
protected FlowSet<Value> |
SlowAvailableExpressionsAnalysis.newInitialFlow() |
Modifier and Type | Method and Description |
---|---|
void |
ToppedSet.copy(FlowSet<T> d) |
void |
ToppedSet.copy(FlowSet<T> d) |
protected void |
FastAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet,
FlowSet<Value> destSet) |
protected void |
FastAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet,
FlowSet<Value> destSet) |
protected void |
SlowAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet,
FlowSet<Value> destSet) |
protected void |
SlowAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet,
FlowSet<Value> destSet) |
protected void |
FastAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet,
FlowSet<Value> destSet) |
protected void |
FastAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet,
FlowSet<Value> destSet) |
protected void |
SlowAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet,
FlowSet<Value> destSet) |
protected void |
SlowAvailableExpressionsAnalysis.copy(FlowSet<Value> sourceSet,
FlowSet<Value> destSet) |
protected void |
EqualUsesAnalysis.copy(FlowSet source,
FlowSet dest)
Deprecated.
|
protected void |
EqualUsesAnalysis.copy(FlowSet source,
FlowSet dest)
Deprecated.
|
protected void |
EqualUsesAnalysis.copy(FlowSet source,
FlowSet dest)
Deprecated.
|
protected void |
EqualUsesAnalysis.copy(FlowSet source,
FlowSet dest)
Deprecated.
|
void |
ToppedSet.difference(FlowSet<T> o,
FlowSet<T> d) |
void |
ToppedSet.difference(FlowSet<T> o,
FlowSet<T> d) |
void |
ToppedSet.difference(FlowSet<T> o,
FlowSet<T> d) |
void |
ToppedSet.difference(FlowSet<T> o,
FlowSet<T> d) |
protected void |
FastAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in,
Unit u,
FlowSet<Value> out) |
protected void |
FastAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in,
Unit u,
FlowSet<Value> out) |
protected void |
SlowAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in,
Unit unit,
FlowSet<Value> out) |
protected void |
SlowAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in,
Unit unit,
FlowSet<Value> out) |
protected void |
FastAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in,
Unit u,
FlowSet<Value> out) |
protected void |
FastAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in,
Unit u,
FlowSet<Value> out) |
protected void |
SlowAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in,
Unit unit,
FlowSet<Value> out) |
protected void |
SlowAvailableExpressionsAnalysis.flowThrough(FlowSet<Value> in,
Unit unit,
FlowSet<Value> out) |
protected void |
EqualUsesAnalysis.flowThrough(FlowSet in,
Unit unit,
FlowSet out)
Deprecated.
|
protected void |
EqualUsesAnalysis.flowThrough(FlowSet in,
Unit unit,
FlowSet out)
Deprecated.
|
protected void |
EqualUsesAnalysis.flowThrough(FlowSet in,
Unit unit,
FlowSet out)
Deprecated.
|
protected void |
EqualUsesAnalysis.flowThrough(FlowSet in,
Unit unit,
FlowSet out)
Deprecated.
|
void |
ToppedSet.intersection(FlowSet<T> o,
FlowSet<T> d) |
void |
ToppedSet.intersection(FlowSet<T> o,
FlowSet<T> d) |
void |
ToppedSet.intersection(FlowSet<T> o,
FlowSet<T> d) |
void |
ToppedSet.intersection(FlowSet<T> o,
FlowSet<T> d) |
protected void |
FastAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
FastAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
FastAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
SlowAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
SlowAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
SlowAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
FastAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
FastAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
FastAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
SlowAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
SlowAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
SlowAvailableExpressionsAnalysis.merge(FlowSet<Value> inSet1,
FlowSet<Value> inSet2,
FlowSet<Value> outSet) |
protected void |
EqualUsesAnalysis.merge(FlowSet inSet1,
FlowSet inSet2,
FlowSet outSet)
Deprecated.
|
protected void |
EqualUsesAnalysis.merge(FlowSet inSet1,
FlowSet inSet2,
FlowSet outSet)
Deprecated.
|
protected void |
EqualUsesAnalysis.merge(FlowSet inSet1,
FlowSet inSet2,
FlowSet outSet)
Deprecated.
|
protected void |
EqualUsesAnalysis.merge(FlowSet inSet1,
FlowSet inSet2,
FlowSet outSet)
Deprecated.
|
protected void |
EqualUsesAnalysis.merge(FlowSet inSet1,
FlowSet inSet2,
FlowSet outSet)
Deprecated.
|
protected void |
EqualUsesAnalysis.merge(FlowSet inSet1,
FlowSet inSet2,
FlowSet outSet)
Deprecated.
|
void |
ToppedSet.union(FlowSet<T> o,
FlowSet<T> d) |
void |
ToppedSet.union(FlowSet<T> o,
FlowSet<T> d) |
void |
ToppedSet.union(FlowSet<T> o,
FlowSet<T> d) |
void |
ToppedSet.union(FlowSet<T> o,
FlowSet<T> d) |
Constructor and Description |
---|
ToppedSet(FlowSet<T> under) |
ToppedSet(FlowSet<T> under) |
Modifier and Type | Method and Description |
---|---|
protected FlowSet<EquivalentValue> |
DelayabilityAnalysis.entryInitialFlow() |
protected FlowSet<EquivalentValue> |
DownSafetyAnalysis.entryInitialFlow() |
protected FlowSet<EquivalentValue> |
NotIsolatedAnalysis.entryInitialFlow() |
protected FlowSet<EquivalentValue> |
UpSafetyAnalysis.entryInitialFlow() |
protected FlowSet<EquivalentValue> |
NotIsolatedAnalysis.entryInitialFlow() |
protected FlowSet<EquivalentValue> |
DownSafetyAnalysis.entryInitialFlow() |
protected FlowSet<EquivalentValue> |
DelayabilityAnalysis.entryInitialFlow() |
protected FlowSet<EquivalentValue> |
UpSafetyAnalysis.entryInitialFlow() |
FlowSet<EquivalentValue> |
EarliestnessComputation.getFlowBefore(Object node)
returns the FlowSet of expressions, that have their earliest computation
just before
node . |
FlowSet<EquivalentValue> |
LatestComputation.getFlowBefore(Object node)
returns the set of expressions, that have their latest computation just
before
node . |
FlowSet<EquivalentValue> |
LatestComputation.getFlowBefore(Object node)
returns the set of expressions, that have their latest computation just
before
node . |
FlowSet<EquivalentValue> |
EarliestnessComputation.getFlowBefore(Object node)
returns the FlowSet of expressions, that have their earliest computation
just before
node . |
protected FlowSet<EquivalentValue> |
DelayabilityAnalysis.newInitialFlow() |
protected FlowSet<EquivalentValue> |
DownSafetyAnalysis.newInitialFlow() |
protected FlowSet<EquivalentValue> |
NotIsolatedAnalysis.newInitialFlow() |
protected FlowSet<EquivalentValue> |
UpSafetyAnalysis.newInitialFlow() |
protected FlowSet<EquivalentValue> |
NotIsolatedAnalysis.newInitialFlow() |
protected FlowSet<EquivalentValue> |
DownSafetyAnalysis.newInitialFlow() |
protected FlowSet<EquivalentValue> |
DelayabilityAnalysis.newInitialFlow() |
protected FlowSet<EquivalentValue> |
UpSafetyAnalysis.newInitialFlow() |
Modifier and Type | Method and Description |
---|---|
protected void |
DelayabilityAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
DelayabilityAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
DownSafetyAnalysis.copy(FlowSet<EquivalentValue> source,
FlowSet<EquivalentValue> dest) |
protected void |
DownSafetyAnalysis.copy(FlowSet<EquivalentValue> source,
FlowSet<EquivalentValue> dest) |
protected void |
NotIsolatedAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
NotIsolatedAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
UpSafetyAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
UpSafetyAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
NotIsolatedAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
NotIsolatedAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
DownSafetyAnalysis.copy(FlowSet<EquivalentValue> source,
FlowSet<EquivalentValue> dest) |
protected void |
DownSafetyAnalysis.copy(FlowSet<EquivalentValue> source,
FlowSet<EquivalentValue> dest) |
protected void |
DelayabilityAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
DelayabilityAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
UpSafetyAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
UpSafetyAnalysis.copy(FlowSet<EquivalentValue> sourceSet,
FlowSet<EquivalentValue> destSet) |
protected void |
DelayabilityAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
DelayabilityAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
DownSafetyAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
DownSafetyAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
NotIsolatedAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit unit,
FlowSet<EquivalentValue> out) |
protected void |
NotIsolatedAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit unit,
FlowSet<EquivalentValue> out) |
protected void |
UpSafetyAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
UpSafetyAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
NotIsolatedAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit unit,
FlowSet<EquivalentValue> out) |
protected void |
NotIsolatedAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit unit,
FlowSet<EquivalentValue> out) |
protected void |
DownSafetyAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
DownSafetyAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
DelayabilityAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
DelayabilityAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
UpSafetyAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
UpSafetyAnalysis.flowThrough(FlowSet<EquivalentValue> in,
Unit u,
FlowSet<EquivalentValue> out) |
protected void |
DelayabilityAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
DelayabilityAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
DelayabilityAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
DownSafetyAnalysis.merge(FlowSet<EquivalentValue> in1,
FlowSet<EquivalentValue> in2,
FlowSet<EquivalentValue> out) |
protected void |
DownSafetyAnalysis.merge(FlowSet<EquivalentValue> in1,
FlowSet<EquivalentValue> in2,
FlowSet<EquivalentValue> out) |
protected void |
DownSafetyAnalysis.merge(FlowSet<EquivalentValue> in1,
FlowSet<EquivalentValue> in2,
FlowSet<EquivalentValue> out) |
protected void |
NotIsolatedAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
NotIsolatedAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
NotIsolatedAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
UpSafetyAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
UpSafetyAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
UpSafetyAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
NotIsolatedAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
NotIsolatedAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
NotIsolatedAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
DownSafetyAnalysis.merge(FlowSet<EquivalentValue> in1,
FlowSet<EquivalentValue> in2,
FlowSet<EquivalentValue> out) |
protected void |
DownSafetyAnalysis.merge(FlowSet<EquivalentValue> in1,
FlowSet<EquivalentValue> in2,
FlowSet<EquivalentValue> out) |
protected void |
DownSafetyAnalysis.merge(FlowSet<EquivalentValue> in1,
FlowSet<EquivalentValue> in2,
FlowSet<EquivalentValue> out) |
protected void |
DelayabilityAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
DelayabilityAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
DelayabilityAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
UpSafetyAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
UpSafetyAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
protected void |
UpSafetyAnalysis.merge(FlowSet<EquivalentValue> inSet1,
FlowSet<EquivalentValue> inSet2,
FlowSet<EquivalentValue> outSet) |
Constructor and Description |
---|
EarliestnessComputation(UnitGraph unitGraph,
UpSafetyAnalysis upSafe,
DownSafetyAnalysis downSafe,
SideEffectTester sideEffect,
FlowSet<EquivalentValue> set)
given an UpSafetyAnalysis and a DownSafetyAnalysis, performs the
earliest-computation.
allows to share sets over multiple analyses (set-operations are usually more efficient, if the sets come from the same source). |
EarliestnessComputation(UnitGraph unitGraph,
UpSafetyAnalysis upSafe,
DownSafetyAnalysis downSafe,
SideEffectTester sideEffect,
FlowSet<EquivalentValue> set)
given an UpSafetyAnalysis and a DownSafetyAnalysis, performs the
earliest-computation.
allows to share sets over multiple analyses (set-operations are usually more efficient, if the sets come from the same source). |
Modifier and Type | Class and Description |
---|---|
class |
MonitorSet |
Modifier and Type | Method and Description |
---|---|
protected FlowSet |
PegGraph.getAllNodes() |
protected FlowSet |
PegGraph.getAllNodes() |
FlowSet |
DominatorsFinder.getDominatorsOf(Object s) |
FlowSet |
DominatorsFinder.getDominatorsOf(Object s) |
Modifier and Type | Method and Description |
---|---|
Map<String,FlowSet> |
MonitorAnalysis.getMonitor() |
Map<String,FlowSet> |
PegGraph.getMonitor() |
Map<String,FlowSet> |
MonitorAnalysis.getMonitor() |
Map<String,FlowSet> |
PegGraph.getMonitor() |
protected Map<String,FlowSet> |
PegChain.getWaitingNodes() |
protected Map<String,FlowSet> |
PegGraph.getWaitingNodes() |
protected Map<String,FlowSet> |
PegChain.getWaitingNodes() |
protected Map<String,FlowSet> |
PegGraph.getWaitingNodes() |
Modifier and Type | Method and Description |
---|---|
protected void |
PegGraph.setMonitor(Map<String,FlowSet> m) |
protected void |
PegGraph.setMonitor(Map<String,FlowSet> m) |
Modifier and Type | Method and Description |
---|---|
FlowSet |
MultiRunStatementsFinder.getMultiRunStatements() |
FlowSet |
MultiRunStatementsFinder.getMultiRunStatements() |
Modifier and Type | Method and Description |
---|---|
protected FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> |
SynchronizedRegionFinder.newInitialFlow()
All INs are initialized to the empty set.
|
protected FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> |
SynchronizedRegionFinder.newInitialFlow()
All INs are initialized to the empty set.
|
Modifier and Type | Method and Description |
---|---|
protected void |
SynchronizedRegionFinder.copy(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> sourceSet,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> destSet) |
protected void |
SynchronizedRegionFinder.copy(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> sourceSet,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> destSet) |
protected void |
SynchronizedRegionFinder.copy(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> sourceSet,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> destSet) |
protected void |
SynchronizedRegionFinder.copy(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> sourceSet,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> destSet) |
protected void |
SynchronizedRegionFinder.flowThrough(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> in,
Unit unit,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> out)
OUT is the same as (IN minus killSet) plus the genSet.
|
protected void |
SynchronizedRegionFinder.flowThrough(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> in,
Unit unit,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> out)
OUT is the same as (IN minus killSet) plus the genSet.
|
protected void |
SynchronizedRegionFinder.flowThrough(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> in,
Unit unit,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> out)
OUT is the same as (IN minus killSet) plus the genSet.
|
protected void |
SynchronizedRegionFinder.flowThrough(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> in,
Unit unit,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> out)
OUT is the same as (IN minus killSet) plus the genSet.
|
protected void |
LockAllocationBodyTransformer.internalTransform(Body b,
FlowSet fs,
List<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> groups,
boolean[] insertedGlobalLock) |
protected void |
LockAllocationBodyTransformer.internalTransform(Body b,
FlowSet fs,
List<soot.jimple.toolkits.thread.synchronization.CriticalSectionGroup> groups,
boolean[] insertedGlobalLock) |
protected void |
SynchronizedRegionFinder.merge(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet1,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet2,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> outSet)
union
|
protected void |
SynchronizedRegionFinder.merge(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet1,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet2,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> outSet)
union
|
protected void |
SynchronizedRegionFinder.merge(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet1,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet2,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> outSet)
union
|
protected void |
SynchronizedRegionFinder.merge(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet1,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet2,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> outSet)
union
|
protected void |
SynchronizedRegionFinder.merge(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet1,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet2,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> outSet)
union
|
protected void |
SynchronizedRegionFinder.merge(FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet1,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> inSet2,
FlowSet<soot.jimple.toolkits.thread.synchronization.SynchronizedRegionFlowPair> outSet)
union
|
Modifier and Type | Field and Description |
---|---|
protected Map<N,FlowSet<N>> |
SimpleDominatorsFinder.nodeToDominators |
protected Map<N,FlowSet<N>> |
SimpleDominatorsFinder.nodeToDominators |
Modifier and Type | Method and Description |
---|---|
protected FlowSet<Unit> |
DominatorAnalysis.entryInitialFlow()
Deprecated.
|
protected FlowSet<Unit> |
PostDominatorAnalysis.entryInitialFlow()
Deprecated.
|
protected FlowSet<Unit> |
PostDominatorAnalysis.entryInitialFlow()
Deprecated.
|
protected FlowSet<Unit> |
DominatorAnalysis.entryInitialFlow()
Deprecated.
|
protected FlowSet<Unit> |
DominatorAnalysis.newInitialFlow()
Deprecated.
|
protected FlowSet<Unit> |
PostDominatorAnalysis.newInitialFlow()
Deprecated.
|
protected FlowSet<Unit> |
PostDominatorAnalysis.newInitialFlow()
Deprecated.
|
protected FlowSet<Unit> |
DominatorAnalysis.newInitialFlow()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
protected void |
DominatorAnalysis.copy(FlowSet<Unit> source,
FlowSet<Unit> dest)
Deprecated.
|
protected void |
DominatorAnalysis.copy(FlowSet<Unit> source,
FlowSet<Unit> dest)
Deprecated.
|
protected void |
PostDominatorAnalysis.copy(FlowSet<Unit> source,
FlowSet<Unit> dest)
Deprecated.
|
protected void |
PostDominatorAnalysis.copy(FlowSet<Unit> source,
FlowSet<Unit> dest)
Deprecated.
|
protected void |
PostDominatorAnalysis.copy(FlowSet<Unit> source,
FlowSet<Unit> dest)
Deprecated.
|
protected void |
PostDominatorAnalysis.copy(FlowSet<Unit> source,
FlowSet<Unit> dest)
Deprecated.
|
protected void |
DominatorAnalysis.copy(FlowSet<Unit> source,
FlowSet<Unit> dest)
Deprecated.
|
protected void |
DominatorAnalysis.copy(FlowSet<Unit> source,
FlowSet<Unit> dest)
Deprecated.
|
protected void |
DominatorAnalysis.flowThrough(FlowSet<Unit> in,
Unit s,
FlowSet<Unit> out)
Deprecated.
|
protected void |
DominatorAnalysis.flowThrough(FlowSet<Unit> in,
Unit s,
FlowSet<Unit> out)
Deprecated.
|
protected void |
PostDominatorAnalysis.flowThrough(FlowSet<Unit> in,
Unit s,
FlowSet<Unit> out)
Deprecated.
|
protected void |
PostDominatorAnalysis.flowThrough(FlowSet<Unit> in,
Unit s,
FlowSet<Unit> out)
Deprecated.
|
protected void |
PostDominatorAnalysis.flowThrough(FlowSet<Unit> in,
Unit s,
FlowSet<Unit> out)
Deprecated.
|
protected void |
PostDominatorAnalysis.flowThrough(FlowSet<Unit> in,
Unit s,
FlowSet<Unit> out)
Deprecated.
|
protected void |
DominatorAnalysis.flowThrough(FlowSet<Unit> in,
Unit s,
FlowSet<Unit> out)
Deprecated.
|
protected void |
DominatorAnalysis.flowThrough(FlowSet<Unit> in,
Unit s,
FlowSet<Unit> out)
Deprecated.
|
protected void |
DominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
DominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
DominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
PostDominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
PostDominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
PostDominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
PostDominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
PostDominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
PostDominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
DominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
DominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
protected void |
DominatorAnalysis.merge(FlowSet<Unit> in1,
FlowSet<Unit> in2,
FlowSet<Unit> out)
Deprecated.
|
Modifier and Type | Interface and Description |
---|---|
interface |
BoundedFlowSet<T>
Represents bounded information for flow analysis.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractBoundedFlowSet<T>
provides functional code for most of the methods.
|
class |
AbstractFlowSet<T>
provides functional code for most of the methods.
|
class |
ArrayPackedSet<T>
Reference implementation for a BoundedFlowSet.
|
class |
ArraySparseSet<T>
Reference implementation for a FlowSet.
|
Modifier and Type | Method and Description |
---|---|
FlowSet<T> |
FlowSet.clone()
Clones the current FlowSet.
|
FlowSet<T> |
FlowSet.clone()
Clones the current FlowSet.
|
FlowSet<T> |
AbstractFlowSet.emptySet()
implemented, but inefficient.
|
FlowSet<T> |
ArrayPackedSet.emptySet() |
FlowSet<T> |
ArraySparseSet.emptySet() |
FlowSet<T> |
FlowSet.emptySet()
returns an empty set, most often more efficient than:
((FlowSet)clone()).clear() |
FlowSet<T> |
AbstractFlowSet.emptySet()
implemented, but inefficient.
|
FlowSet<T> |
FlowSet.emptySet()
returns an empty set, most often more efficient than:
((FlowSet)clone()).clear() |
FlowSet<T> |
ArrayPackedSet.emptySet() |
FlowSet<T> |
ArraySparseSet.emptySet() |
protected FlowSet<ValueBox> |
CombinedDUAnalysis.entryInitialFlow() |
protected FlowSet<Local> |
InitAnalysis.entryInitialFlow() |
protected FlowSet<ValueBox> |
CombinedDUAnalysis.entryInitialFlow() |
protected FlowSet<Local> |
InitAnalysis.entryInitialFlow() |
protected FlowSet<ValueBox> |
CombinedDUAnalysis.newInitialFlow() |
protected FlowSet<Local> |
InitAnalysis.newInitialFlow() |
protected FlowSet<ValueBox> |
CombinedDUAnalysis.newInitialFlow() |
protected FlowSet<Local> |
InitAnalysis.newInitialFlow() |
FlowSet<T> |
AbstractBoundedFlowSet.topSet() |
FlowSet<T> |
BoundedFlowSet.topSet()
returns the topped set.
|
FlowSet<T> |
BoundedFlowSet.topSet()
returns the topped set.
|
FlowSet<T> |
AbstractBoundedFlowSet.topSet() |
Modifier and Type | Method and Description |
---|---|
void |
AbstractFlowSet.add(T obj,
FlowSet<T> dest) |
void |
FlowSet.add(T obj,
FlowSet<T> dest)
puts
this union obj into dest . |
void |
AbstractFlowSet.add(T obj,
FlowSet<T> dest) |
void |
FlowSet.add(T obj,
FlowSet<T> dest)
puts
this union obj into dest . |
void |
AbstractBoundedFlowSet.complement(FlowSet<T> dest) |
void |
ArrayPackedSet.complement(FlowSet<T> destFlow) |
void |
BoundedFlowSet.complement(FlowSet<T> dest)
Complements this BoundedFlowSet, putting the result into
dest . |
void |
ArrayPackedSet.complement(FlowSet<T> destFlow) |
void |
BoundedFlowSet.complement(FlowSet<T> dest)
Complements this BoundedFlowSet, putting the result into
dest . |
void |
AbstractBoundedFlowSet.complement(FlowSet<T> dest) |
protected void |
InitAnalysis.copy(FlowSet<Local> source,
FlowSet<Local> dest) |
protected void |
InitAnalysis.copy(FlowSet<Local> source,
FlowSet<Local> dest) |
protected void |
InitAnalysis.copy(FlowSet<Local> source,
FlowSet<Local> dest) |
protected void |
InitAnalysis.copy(FlowSet<Local> source,
FlowSet<Local> dest) |
void |
AbstractFlowSet.copy(FlowSet<T> dest) |
void |
ArrayPackedSet.copy(FlowSet<T> destFlow) |
void |
ArraySparseSet.copy(FlowSet<T> destFlow) |
void |
FlowSet.copy(FlowSet<T> dest)
Copies the current FlowSet into dest.
|
void |
AbstractFlowSet.copy(FlowSet<T> dest) |
void |
FlowSet.copy(FlowSet<T> dest)
Copies the current FlowSet into dest.
|
void |
ArrayPackedSet.copy(FlowSet<T> destFlow) |
void |
ArraySparseSet.copy(FlowSet<T> destFlow) |
protected void |
CombinedDUAnalysis.copy(FlowSet<ValueBox> source,
FlowSet<ValueBox> dest) |
protected void |
CombinedDUAnalysis.copy(FlowSet<ValueBox> source,
FlowSet<ValueBox> dest) |
protected void |
CombinedDUAnalysis.copy(FlowSet<ValueBox> source,
FlowSet<ValueBox> dest) |
protected void |
CombinedDUAnalysis.copy(FlowSet<ValueBox> source,
FlowSet<ValueBox> dest) |
void |
AbstractFlowSet.difference(FlowSet<T> other) |
void |
FlowSet.difference(FlowSet<T> other)
Returns the set difference (this intersect ~other) of this FlowSet and
other , putting result into this . |
void |
AbstractFlowSet.difference(FlowSet<T> other) |
void |
FlowSet.difference(FlowSet<T> other)
Returns the set difference (this intersect ~other) of this FlowSet and
other , putting result into this . |
void |
AbstractFlowSet.difference(FlowSet<T> other,
FlowSet<T> dest) |
void |
AbstractFlowSet.difference(FlowSet<T> other,
FlowSet<T> dest) |
void |
ArrayPackedSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArrayPackedSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
FlowSet.difference(FlowSet<T> other,
FlowSet<T> dest)
Returns the set difference (this intersect ~other) of this FlowSet and
other , putting result into dest . |
void |
FlowSet.difference(FlowSet<T> other,
FlowSet<T> dest)
Returns the set difference (this intersect ~other) of this FlowSet and
other , putting result into dest . |
void |
AbstractFlowSet.difference(FlowSet<T> other,
FlowSet<T> dest) |
void |
AbstractFlowSet.difference(FlowSet<T> other,
FlowSet<T> dest) |
void |
FlowSet.difference(FlowSet<T> other,
FlowSet<T> dest)
Returns the set difference (this intersect ~other) of this FlowSet and
other , putting result into dest . |
void |
FlowSet.difference(FlowSet<T> other,
FlowSet<T> dest)
Returns the set difference (this intersect ~other) of this FlowSet and
other , putting result into dest . |
void |
ArrayPackedSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArrayPackedSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.difference(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
protected void |
InitAnalysis.flowThrough(FlowSet<Local> in,
Unit unit,
FlowSet<Local> out) |
protected void |
InitAnalysis.flowThrough(FlowSet<Local> in,
Unit unit,
FlowSet<Local> out) |
protected void |
InitAnalysis.flowThrough(FlowSet<Local> in,
Unit unit,
FlowSet<Local> out) |
protected void |
InitAnalysis.flowThrough(FlowSet<Local> in,
Unit unit,
FlowSet<Local> out) |
protected void |
CombinedDUAnalysis.flowThrough(FlowSet<ValueBox> out,
Unit u,
FlowSet<ValueBox> in) |
protected void |
CombinedDUAnalysis.flowThrough(FlowSet<ValueBox> out,
Unit u,
FlowSet<ValueBox> in) |
protected void |
CombinedDUAnalysis.flowThrough(FlowSet<ValueBox> out,
Unit u,
FlowSet<ValueBox> in) |
protected void |
CombinedDUAnalysis.flowThrough(FlowSet<ValueBox> out,
Unit u,
FlowSet<ValueBox> in) |
void |
AbstractFlowSet.intersection(FlowSet<T> other) |
void |
FlowSet.intersection(FlowSet<T> other)
Returns the intersection (meet) of this FlowSet and
other ,
putting result into this . |
void |
AbstractFlowSet.intersection(FlowSet<T> other) |
void |
FlowSet.intersection(FlowSet<T> other)
Returns the intersection (meet) of this FlowSet and
other ,
putting result into this . |
void |
AbstractFlowSet.intersection(FlowSet<T> other,
FlowSet<T> dest) |
void |
AbstractFlowSet.intersection(FlowSet<T> other,
FlowSet<T> dest) |
void |
ArrayPackedSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArrayPackedSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
FlowSet.intersection(FlowSet<T> other,
FlowSet<T> dest)
Returns the intersection (meet) of this FlowSet and
other ,
putting result into dest . |
void |
FlowSet.intersection(FlowSet<T> other,
FlowSet<T> dest)
Returns the intersection (meet) of this FlowSet and
other ,
putting result into dest . |
void |
AbstractFlowSet.intersection(FlowSet<T> other,
FlowSet<T> dest) |
void |
AbstractFlowSet.intersection(FlowSet<T> other,
FlowSet<T> dest) |
void |
FlowSet.intersection(FlowSet<T> other,
FlowSet<T> dest)
Returns the intersection (meet) of this FlowSet and
other ,
putting result into dest . |
void |
FlowSet.intersection(FlowSet<T> other,
FlowSet<T> dest)
Returns the intersection (meet) of this FlowSet and
other ,
putting result into dest . |
void |
ArrayPackedSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArrayPackedSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.intersection(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
boolean |
AbstractFlowSet.isSubSet(FlowSet<T> other) |
boolean |
ArrayPackedSet.isSubSet(FlowSet<T> other) |
boolean |
FlowSet.isSubSet(FlowSet<T> other)
Returns true if the
other FlowSet is a subset of this FlowSet. |
boolean |
AbstractFlowSet.isSubSet(FlowSet<T> other) |
boolean |
FlowSet.isSubSet(FlowSet<T> other)
Returns true if the
other FlowSet is a subset of this FlowSet. |
boolean |
ArrayPackedSet.isSubSet(FlowSet<T> other) |
protected void |
InitAnalysis.merge(FlowSet<Local> in1,
FlowSet<Local> in2,
FlowSet<Local> out) |
protected void |
InitAnalysis.merge(FlowSet<Local> in1,
FlowSet<Local> in2,
FlowSet<Local> out) |
protected void |
InitAnalysis.merge(FlowSet<Local> in1,
FlowSet<Local> in2,
FlowSet<Local> out) |
protected void |
InitAnalysis.merge(FlowSet<Local> in1,
FlowSet<Local> in2,
FlowSet<Local> out) |
protected void |
InitAnalysis.merge(FlowSet<Local> in1,
FlowSet<Local> in2,
FlowSet<Local> out) |
protected void |
InitAnalysis.merge(FlowSet<Local> in1,
FlowSet<Local> in2,
FlowSet<Local> out) |
protected void |
CombinedDUAnalysis.merge(FlowSet<ValueBox> inout,
FlowSet<ValueBox> in) |
protected void |
CombinedDUAnalysis.merge(FlowSet<ValueBox> inout,
FlowSet<ValueBox> in) |
protected void |
CombinedDUAnalysis.merge(FlowSet<ValueBox> inout,
FlowSet<ValueBox> in) |
protected void |
CombinedDUAnalysis.merge(FlowSet<ValueBox> inout,
FlowSet<ValueBox> in) |
protected void |
CombinedDUAnalysis.merge(FlowSet<ValueBox> in1,
FlowSet<ValueBox> in2,
FlowSet<ValueBox> out) |
protected void |
CombinedDUAnalysis.merge(FlowSet<ValueBox> in1,
FlowSet<ValueBox> in2,
FlowSet<ValueBox> out) |
protected void |
CombinedDUAnalysis.merge(FlowSet<ValueBox> in1,
FlowSet<ValueBox> in2,
FlowSet<ValueBox> out) |
protected void |
CombinedDUAnalysis.merge(FlowSet<ValueBox> in1,
FlowSet<ValueBox> in2,
FlowSet<ValueBox> out) |
protected void |
CombinedDUAnalysis.merge(FlowSet<ValueBox> in1,
FlowSet<ValueBox> in2,
FlowSet<ValueBox> out) |
protected void |
CombinedDUAnalysis.merge(FlowSet<ValueBox> in1,
FlowSet<ValueBox> in2,
FlowSet<ValueBox> out) |
void |
AbstractFlowSet.remove(T obj,
FlowSet<T> dest) |
void |
FlowSet.remove(T obj,
FlowSet<T> dest)
Puts
this minus obj into dest . |
void |
AbstractFlowSet.remove(T obj,
FlowSet<T> dest) |
void |
FlowSet.remove(T obj,
FlowSet<T> dest)
Puts
this minus obj into dest . |
void |
AbstractFlowSet.union(FlowSet<T> other) |
void |
FlowSet.union(FlowSet<T> other)
Returns the union (join) of this FlowSet and
other , putting
result into this . |
void |
AbstractFlowSet.union(FlowSet<T> other) |
void |
FlowSet.union(FlowSet<T> other)
Returns the union (join) of this FlowSet and
other , putting
result into this . |
void |
AbstractFlowSet.union(FlowSet<T> other,
FlowSet<T> dest) |
void |
AbstractFlowSet.union(FlowSet<T> other,
FlowSet<T> dest) |
void |
ArrayPackedSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArrayPackedSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
FlowSet.union(FlowSet<T> other,
FlowSet<T> dest)
Returns the union (join) of this FlowSet and
other , putting
result into dest . |
void |
FlowSet.union(FlowSet<T> other,
FlowSet<T> dest)
Returns the union (join) of this FlowSet and
other , putting
result into dest . |
void |
AbstractFlowSet.union(FlowSet<T> other,
FlowSet<T> dest) |
void |
AbstractFlowSet.union(FlowSet<T> other,
FlowSet<T> dest) |
void |
FlowSet.union(FlowSet<T> other,
FlowSet<T> dest)
Returns the union (join) of this FlowSet and
other , putting
result into dest . |
void |
FlowSet.union(FlowSet<T> other,
FlowSet<T> dest)
Returns the union (join) of this FlowSet and
other , putting
result into dest . |
void |
ArrayPackedSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArrayPackedSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |
void |
ArraySparseSet.union(FlowSet<T> otherFlow,
FlowSet<T> destFlow) |