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)
|