soot.dava.toolkits.base.AST.structuredAnalysis
Class ReachingDefs

java.lang.Object
  extended bysoot.dava.toolkits.base.AST.structuredAnalysis.StructuredAnalysis
      extended bysoot.dava.toolkits.base.AST.structuredAnalysis.ReachingDefs

public class ReachingDefs
extends StructuredAnalysis


Constructor Summary
ReachingDefs(Object analyze)
           
 
Method Summary
 Object cloneFlowSet(Object flowSet)
           
 void gen(DavaFlowSet in, DefinitionStmt s)
           
 List getReachingDefs(Local local, Object node)
           
 void kill(DavaFlowSet in, Local redefined)
           
 Object newInitialFlow()
           
 Object processStatement(Stmt s, Object input)
           
 Object processSwitchKey(Value key, Object input)
           
 Object processSynchronizedLocal(Local local, Object input)
           
 Object processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, Object input)
           
 void setMergeType()
           
 
Methods inherited from class soot.dava.toolkits.base.AST.structuredAnalysis.StructuredAnalysis
getAfterSet, getBeforeSet, getMergedBreakList, handleBreak, handleContinue, isDifferent, merge, print, process, processASTDoWhileNode, processASTForLoopNode, processASTIfElseNode, processASTIfNode, processASTLabeledBlockNode, processASTMethodNode, processASTNode, processASTStatementSequenceNode, processASTSwitchNode, processASTSynchronizedBlockNode, processASTTryNode, processASTUnconditionalLoopNode, processASTWhileNode, processCondition, processSingleSubBodyNode
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ReachingDefs

public ReachingDefs(Object analyze)
Method Detail

newInitialFlow

public Object newInitialFlow()
Specified by:
newInitialFlow in class StructuredAnalysis

setMergeType

public void setMergeType()
Specified by:
setMergeType in class StructuredAnalysis

cloneFlowSet

public Object cloneFlowSet(Object flowSet)
Specified by:
cloneFlowSet in class StructuredAnalysis

processUnaryBinaryCondition

public Object processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
                                          Object input)
Specified by:
processUnaryBinaryCondition in class StructuredAnalysis

processSynchronizedLocal

public Object processSynchronizedLocal(Local local,
                                       Object input)
Specified by:
processSynchronizedLocal in class StructuredAnalysis

processSwitchKey

public Object processSwitchKey(Value key,
                               Object input)
Specified by:
processSwitchKey in class StructuredAnalysis

processStatement

public Object processStatement(Stmt s,
                               Object input)
Specified by:
processStatement in class StructuredAnalysis

gen

public void gen(DavaFlowSet in,
                DefinitionStmt s)

kill

public void kill(DavaFlowSet in,
                 Local redefined)

getReachingDefs

public List getReachingDefs(Local local,
                            Object node)