soot.dava.toolkits.base.AST.transformations
Class CPApplication

java.lang.Object
  soot.dava.toolkits.base.AST.analysis.AnalysisAdapter
      soot.dava.toolkits.base.AST.analysis.DepthFirstAdapter
          soot.dava.toolkits.base.AST.transformations.CPApplication

All Implemented Interfaces:

Analysis

public class CPApplication
extends DepthFirstAdapter

Field Summary

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

DEBUG

Constructor Summary

CPApplication(ASTMethodNode AST, HashMap<String,Object> constantValueFields, HashMap<String,SootField> classNameFieldNameToSootFieldMapping)

CPApplication(boolean verbose, ASTMethodNode AST, HashMap<String,Object> constantValueFields, HashMap<String,SootField> classNameFieldNameToSootFieldMapping)

Method Summary

ASTCondition	changedCondition(ASTCondition cond, CPFlowSet set)
void	inASTDoWhileNode(ASTDoWhileNode node)
void	inASTForLoopNode(ASTForLoopNode node)
void	inASTIfElseNode(ASTIfElseNode node)
void	inASTIfNode(ASTIfNode node)
void	inASTStatementSequenceNode(ASTStatementSequenceNode node)
void	inASTSwitchNode(ASTSwitchNode node)
void	inASTWhileNode(ASTWhileNode node)
void	substituteUses(List useBoxes, CPFlowSet beforeSet)

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, inASTLabeledBlockNode, inASTMethodNode, inASTOrCondition, inASTSynchronizedBlockNode, inASTTryNode, inASTUnaryCondition, inASTUnconditionalLoopNode, inBinopExpr, inCastExpr, inDefinitionStmt, 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

CPApplication

public CPApplication(ASTMethodNode AST,
                     HashMap<String,Object> constantValueFields,
                     HashMap<String,SootField> classNameFieldNameToSootFieldMapping)

CPApplication

public CPApplication(boolean verbose,
                     ASTMethodNode AST,
                     HashMap<String,Object> constantValueFields,
                     HashMap<String,SootField> classNameFieldNameToSootFieldMapping)

Method Detail

inASTSwitchNode

public void inASTSwitchNode(ASTSwitchNode node)

Overrides:

inASTSwitchNode in class DepthFirstAdapter

inASTForLoopNode

public void inASTForLoopNode(ASTForLoopNode node)

Overrides:

inASTForLoopNode in class DepthFirstAdapter

inASTWhileNode

public void inASTWhileNode(ASTWhileNode node)

Overrides:

inASTWhileNode in class DepthFirstAdapter

inASTDoWhileNode

public void inASTDoWhileNode(ASTDoWhileNode node)

Overrides:

inASTDoWhileNode in class DepthFirstAdapter

inASTIfNode

public void inASTIfNode(ASTIfNode node)

Overrides:

inASTIfNode in class DepthFirstAdapter

inASTIfElseNode

public void inASTIfElseNode(ASTIfElseNode node)

Overrides:

inASTIfElseNode in class DepthFirstAdapter

changedCondition

public ASTCondition changedCondition(ASTCondition cond,
                                     CPFlowSet set)

inASTStatementSequenceNode

public void inASTStatementSequenceNode(ASTStatementSequenceNode node)

Overrides:

inASTStatementSequenceNode in class DepthFirstAdapter

substituteUses

public void substituteUses(List useBoxes,
                           CPFlowSet beforeSet)