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 CP.emptyFlowSet()
           
 DavaFlowSet MustMayInitialize.emptyFlowSet()
           
 DavaFlowSet ReachingCopies.emptyFlowSet()
           
 DavaFlowSet ReachingCopies.getReachingCopies(Object node)
           
 DavaFlowSet ReachingDefs.emptyFlowSet()
           
abstract  DavaFlowSet StructuredAnalysis.emptyFlowSet()
           
 DavaFlowSet UnreachableCodeFinder.emptyFlowSet()
           
 

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.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.addToImplicitContinues(DAbruptStmt ab, DavaFlowSet set)
           
 void ReachingCopies.gen(DavaFlowSet in, Local left, Local right)
           
 void ReachingCopies.kill(DavaFlowSet in, Local redefined)
           
 void ReachingDefs.gen(DavaFlowSet in, DefinitionStmt s)
           
 void ReachingDefs.kill(DavaFlowSet in, Local redefined)
           
 Object StructuredAnalysis.processAbruptStatements(Stmt s, DavaFlowSet input)
          Whenever a statement has to be processed the first step is to invoke this method.
 Object StructuredAnalysis.mergeExplicitAndImplicit(String label, DavaFlowSet output, List explicitSet, List implicitSet)
           
 Object UnreachableCodeFinder.processAbruptStatements(Stmt s, DavaFlowSet input)
           
 

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