Uses of Class
soot.dava.toolkits.base.AST.structuredAnalysis.DavaFlowSet

Packages that use DavaFlowSet
soot.dava.toolkits.base.AST.structuredAnalysis   
 

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

Subclasses of DavaFlowSet in soot.dava.toolkits.base.AST.structuredAnalysis
 class CPFlowSet
           
 class UnreachableCodeFinder.UnreachableCodeFlowSet
           
 

Methods in soot.dava.toolkits.base.AST.structuredAnalysis that return DavaFlowSet
 DavaFlowSet DavaFlowSet.clone()
           
 DavaFlowSet DavaFlowSet.clone()
           
 DavaFlowSet CP.emptyFlowSet()
           
 DavaFlowSet MustMayInitialize.emptyFlowSet()
           
 DavaFlowSet ReachingCopies.emptyFlowSet()
           
 DavaFlowSet ReachingDefs.emptyFlowSet()
           
abstract  DavaFlowSet StructuredAnalysis.emptyFlowSet()
           
 DavaFlowSet UnreachableCodeFinder.emptyFlowSet()
           
 DavaFlowSet UnreachableCodeFinder.emptyFlowSet()
           
abstract  DavaFlowSet StructuredAnalysis.emptyFlowSet()
           
 DavaFlowSet ReachingDefs.emptyFlowSet()
           
 DavaFlowSet ReachingCopies.emptyFlowSet()
           
 DavaFlowSet MustMayInitialize.emptyFlowSet()
           
 DavaFlowSet CP.emptyFlowSet()
           
 DavaFlowSet ReachingCopies.getReachingCopies(Object node)
           
 DavaFlowSet ReachingCopies.getReachingCopies(Object node)
           
 

Methods in soot.dava.toolkits.base.AST.structuredAnalysis that return types with arguments of type DavaFlowSet
 HashMap<Serializable,List<DavaFlowSet>> DavaFlowSet.getImplicitBreaks()
           
 HashMap<Serializable,List<DavaFlowSet>> DavaFlowSet.getImplicitBreaks()
           
 HashMap<Serializable,List<DavaFlowSet>> DavaFlowSet.getImplicitContinues()
           
 HashMap<Serializable,List<DavaFlowSet>> DavaFlowSet.getImplicitContinues()
           
 

Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type DavaFlowSet
 void DavaFlowSet.addToBreakList(String labelBroken, DavaFlowSet set)
          When an explicit break statement is encountered this method should be called to store the current davaflowset
 void DavaFlowSet.addToBreakList(String labelBroken, DavaFlowSet set)
          When an explicit break statement is encountered this method should be called to store the current davaflowset
 void DavaFlowSet.addToContinueList(String labelContinued, DavaFlowSet set)
          When an explicit continue statement is encountered this method should be called to store the current davaflowset
 void DavaFlowSet.addToContinueList(String labelContinued, DavaFlowSet set)
          When an explicit continue statement is encountered this method should be called to store the current davaflowset
 void DavaFlowSet.addToImplicitBreaks(DAbruptStmt ab, DavaFlowSet set)
          The next two methods take an abruptStmt as input along with a flowSet.
 void DavaFlowSet.addToImplicitBreaks(DAbruptStmt ab, DavaFlowSet set)
          The next two methods take an abruptStmt as input along with a flowSet.
 void DavaFlowSet.addToImplicitContinues(DAbruptStmt ab, DavaFlowSet set)
           
 void DavaFlowSet.addToImplicitContinues(DAbruptStmt ab, DavaFlowSet set)
           
 void ReachingDefs.gen(DavaFlowSet in, DefinitionStmt s)
           
 void ReachingDefs.gen(DavaFlowSet in, DefinitionStmt s)
           
 void ReachingCopies.gen(DavaFlowSet in, Local left, Local right)
           
 void ReachingCopies.gen(DavaFlowSet in, Local left, Local right)
           
 void ReachingCopies.kill(DavaFlowSet in, Local redefined)
           
 void ReachingDefs.kill(DavaFlowSet in, Local redefined)
           
 void ReachingDefs.kill(DavaFlowSet in, Local redefined)
           
 void ReachingCopies.kill(DavaFlowSet in, Local redefined)
           
 Object StructuredAnalysis.mergeExplicitAndImplicit(String label, DavaFlowSet output, List explicitSet, List implicitSet)
           
 Object StructuredAnalysis.mergeExplicitAndImplicit(String label, DavaFlowSet output, List explicitSet, List implicitSet)
           
 Object StructuredAnalysis.processAbruptStatements(Stmt s, DavaFlowSet input)
          Whenever a statement has to be processed the first step is to invoke this method.
 Object UnreachableCodeFinder.processAbruptStatements(Stmt s, DavaFlowSet input)
           
 Object UnreachableCodeFinder.processAbruptStatements(Stmt s, DavaFlowSet input)
           
 Object StructuredAnalysis.processAbruptStatements(Stmt s, DavaFlowSet input)
          Whenever a statement has to be processed the first step is to invoke this method.
 

Constructors in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type DavaFlowSet
DavaFlowSet(DavaFlowSet other)
           
DavaFlowSet(DavaFlowSet other)