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
 

Methods in soot.dava.toolkits.base.AST.structuredAnalysis that return DavaFlowSet
 DavaFlowSet ReachingCopies.getReachingCopies(Object node)
           
 

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)