Uses of Interface
soot.toolkits.scalar.FlowSet

Packages that use FlowSet
soot.dava.toolkits.base.AST.structuredAnalysis   
soot.jimple.toolkits.annotation.nullcheck Classes that carry out an analysis to determine whether or not null pointer checks are necessary. 
soot.jimple.toolkits.scalar A toolkit for scalar optimization of Jimple. 
soot.jimple.toolkits.scalar.pre Particial redundency elimination. 
soot.toolkits.scalar A number of scalar optimizations, and the flow analysis framework. 
 

Uses of FlowSet in soot.dava.toolkits.base.AST.structuredAnalysis
 

Classes in soot.dava.toolkits.base.AST.structuredAnalysis that implement FlowSet
 class DavaFlowSet
           
 

Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type FlowSet
 void DavaFlowSet.union(FlowSet otherFlow, FlowSet 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.intersection(FlowSet otherFlow, FlowSet 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.difference(FlowSet otherFlow, FlowSet destFlow)
           
 void DavaFlowSet.copy(FlowSet destFlow)
           
 

Uses of FlowSet in soot.jimple.toolkits.annotation.nullcheck
 

Fields in soot.jimple.toolkits.annotation.nullcheck declared as FlowSet
protected  FlowSet BranchedRefVarsAnalysis.emptySet
           
protected  FlowSet BranchedRefVarsAnalysis.fullSet
           
protected  FlowSet BranchedRefVarsAnalysis.tempFlowSet
           
 

Methods in soot.jimple.toolkits.annotation.nullcheck with parameters of type FlowSet
protected  int BranchedRefVarsAnalysis.refInfo(EquivalentValue r, FlowSet fs)
           
protected  int BranchedRefVarsAnalysis.refInfo(Value r, FlowSet fs)
           
 int BranchedRefVarsAnalysis.anyRefInfo(Value r, FlowSet f)
           
 

Uses of FlowSet in soot.jimple.toolkits.scalar
 

Classes in soot.jimple.toolkits.scalar that implement FlowSet
 class ToppedSet
          Represents information for flow analysis, adding a top element to a lattice.
 

Methods in soot.jimple.toolkits.scalar with parameters of type FlowSet
 void ToppedSet.copy(FlowSet d)
           
 void ToppedSet.union(FlowSet o, FlowSet d)
           
 void ToppedSet.intersection(FlowSet o, FlowSet d)
           
 void ToppedSet.difference(FlowSet o, FlowSet d)
           
 

Constructors in soot.jimple.toolkits.scalar with parameters of type FlowSet
ToppedSet(FlowSet under)
           
 

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

Constructors in soot.jimple.toolkits.scalar.pre with parameters of type FlowSet
EarliestnessComputation(UnitGraph unitGraph, UpSafetyAnalysis upSafe, DownSafetyAnalysis downSafe, SideEffectTester sideEffect, FlowSet 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).
 

Uses of FlowSet in soot.toolkits.scalar
 

Subinterfaces of FlowSet in soot.toolkits.scalar
 interface BoundedFlowSet
          Represents bounded information for flow analysis.
 

Classes in soot.toolkits.scalar that implement FlowSet
 class AbstractBoundedFlowSet
          provides functional code for most of the methods.
 class AbstractFlowSet
          provides functional code for most of the methods.
 class ArrayPackedSet
          Reference implementation for a BoundedFlowSet.
 class ArraySparseSet
          Reference implementation for a FlowSet.
 

Methods in soot.toolkits.scalar with parameters of type FlowSet
 void AbstractBoundedFlowSet.complement(FlowSet dest)
           
 void AbstractFlowSet.copy(FlowSet dest)
           
 void AbstractFlowSet.union(FlowSet other)
           
 void AbstractFlowSet.union(FlowSet other, FlowSet dest)
           
 void AbstractFlowSet.intersection(FlowSet other)
           
 void AbstractFlowSet.intersection(FlowSet other, FlowSet dest)
           
 void AbstractFlowSet.difference(FlowSet other)
           
 void AbstractFlowSet.difference(FlowSet other, FlowSet dest)
           
 void AbstractFlowSet.add(Object obj, FlowSet dest)
           
 void AbstractFlowSet.remove(Object obj, FlowSet dest)
           
 void ArrayPackedSet.complement(FlowSet destFlow)
           
 void ArrayPackedSet.union(FlowSet otherFlow, FlowSet destFlow)
           
 void ArrayPackedSet.difference(FlowSet otherFlow, FlowSet destFlow)
           
 void ArrayPackedSet.intersection(FlowSet otherFlow, FlowSet destFlow)
           
 void ArrayPackedSet.copy(FlowSet destFlow)
           
 void ArraySparseSet.union(FlowSet otherFlow, FlowSet destFlow)
           
 void ArraySparseSet.intersection(FlowSet otherFlow, FlowSet destFlow)
           
 void ArraySparseSet.difference(FlowSet otherFlow, FlowSet destFlow)
           
 void ArraySparseSet.copy(FlowSet destFlow)
           
 void BoundedFlowSet.complement(FlowSet dest)
          Complements this BoundedFlowSet, putting the result into dest.
 void FlowSet.copy(FlowSet dest)
          Copies the current FlowSet into dest.
 void FlowSet.union(FlowSet other)
          Returns the union (join) of this FlowSet and other, putting result into this.
 void FlowSet.union(FlowSet other, FlowSet dest)
          Returns the union (join) of this FlowSet and other, putting result into dest.
 void FlowSet.intersection(FlowSet other)
          Returns the intersection (meet) of this FlowSet and other, putting result into this.
 void FlowSet.intersection(FlowSet other, FlowSet dest)
          Returns the intersection (meet) of this FlowSet and other, putting result into dest.
 void FlowSet.difference(FlowSet other)
          Returns the set difference (this intersect ~other) of this FlowSet and other, putting result into this.
 void FlowSet.difference(FlowSet other, FlowSet dest)
          Returns the set difference (this intersect ~other) of this FlowSet and other, putting result into dest.
 void FlowSet.add(Object obj, FlowSet dest)
          puts this union obj into dest.
 void FlowSet.remove(Object obj, FlowSet dest)
          Puts this minus obj into dest.