Package soot.dava

Class StaticDefinitionFinder

java.lang.Object

soot.dava.toolkits.base.AST.analysis.AnalysisAdapter

soot.dava.toolkits.base.AST.analysis.DepthFirstAdapter

soot.dava.StaticDefinitionFinder

All Implemented Interfaces:

Analysis

public class StaticDefinitionFinder
extends DepthFirstAdapter

Field Summary

Fields inherited from class soot.dava.toolkits.base.AST.analysis.DepthFirstAdapter

DEBUG

Constructor Summary

Constructors

Constructor	Description
StaticDefinitionFinder(boolean verbose, SootMethod method)
StaticDefinitionFinder(SootMethod method)

Method Summary

Modifier and Type	Method	Description
boolean	anyFinalFieldDefined()
void	inDefinitionStmt(DefinitionStmt s)

Methods inherited from class soot.dava.toolkits.base.AST.analysis.DepthFirstAdapter

caseArrayRef, caseASTAndCondition, caseASTBinaryCondition, caseASTDoWhileNode, caseASTForLoopNode, caseASTIfElseNode, caseASTIfNode, caseASTLabeledBlockNode, caseASTMethodNode, caseASTOrCondition, caseASTStatementSequenceNode, caseASTSwitchNode, caseASTSynchronizedBlockNode, caseASTTryNode, caseASTUnaryCondition, caseASTUnconditionalLoopNode, caseASTWhileNode, caseBinopExpr, caseCastExpr, caseDefinitionStmt, caseDVariableDeclarationStmt, caseExpr, caseExprOrRefValueBox, caseInstanceFieldRef, caseInstanceInvokeExpr, caseInstanceOfExpr, caseInvokeExpr, caseInvokeStmt, caseNewArrayExpr, caseNewMultiArrayExpr, caseRef, caseReturnStmt, caseStaticFieldRef, caseStmt, caseThrowStmt, caseType, caseUnopExpr, caseValue, debug, decideCaseExpr, decideCaseExprOrRef, decideCaseRef, inArrayRef, inASTAndCondition, inASTBinaryCondition, inASTDoWhileNode, inASTForLoopNode, inASTIfElseNode, inASTIfNode, inASTLabeledBlockNode, inASTMethodNode, inASTOrCondition, inASTStatementSequenceNode, inASTSwitchNode, inASTSynchronizedBlockNode, inASTTryNode, inASTUnaryCondition, inASTUnconditionalLoopNode, inASTWhileNode, inBinopExpr, inCastExpr, inDVariableDeclarationStmt, inExpr, inExprOrRefValueBox, inInstanceFieldRef, inInstanceInvokeExpr, inInstanceOfExpr, inInvokeExpr, inInvokeStmt, inNewArrayExpr, inNewMultiArrayExpr, inRef, inReturnStmt, inStaticFieldRef, inStmt, inThrowStmt, inType, inUnopExpr, inValue, normalRetrieving, outArrayRef, outASTAndCondition, outASTBinaryCondition, outASTDoWhileNode, outASTForLoopNode, outASTIfElseNode, outASTIfNode, outASTLabeledBlockNode, outASTMethodNode, outASTOrCondition, outASTStatementSequenceNode, outASTSwitchNode, outASTSynchronizedBlockNode, outASTTryNode, outASTUnaryCondition, outASTUnconditionalLoopNode, outASTWhileNode, outBinopExpr, outCastExpr, outDefinitionStmt, outDVariableDeclarationStmt, outExpr, outExprOrRefValueBox, outInstanceFieldRef, outInstanceInvokeExpr, outInstanceOfExpr, outInvokeExpr, outInvokeStmt, outNewArrayExpr, outNewMultiArrayExpr, outRef, outReturnStmt, outStaticFieldRef, outStmt, outThrowStmt, outType, outUnopExpr, outValue

Methods inherited from class soot.dava.toolkits.base.AST.analysis.AnalysisAdapter

defaultCase

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

StaticDefinitionFinder

public StaticDefinitionFinder(SootMethod method)

StaticDefinitionFinder

public StaticDefinitionFinder(boolean verbose,
                              SootMethod method)

Method Detail

inDefinitionStmt

public void inDefinitionStmt(DefinitionStmt s)

Overrides:

inDefinitionStmt in class DepthFirstAdapter

anyFinalFieldDefined

public boolean anyFinalFieldDefined()