|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |