Package soot.dava.toolkits.base.AST.transformations

Class DeInliningFinalFields

java.lang.Object

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

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

soot.dava.toolkits.base.AST.transformations.DeInliningFinalFields

All Implemented Interfaces:

Analysis

public class DeInliningFinalFields
extends DepthFirstAdapter

Both static and non-static BUT FINAL fields if initialized with constants get inlined A final initialized with an object (even if its a string) is NOT inlined e.g. public static final String temp = "hello"; //use of temp will get inlined public static final String temp1 = new String("hello"); //use of temp will NOT get inlined If its a static field we can get the info from a tag in the case of a non static we cant decide since the field is initialized inside a constructor and depending on different constructors there coul dbe different values...conservative.... Need to be very clear when a SootField can be used It can be used in the following places: a, NOT used inside a Synchronized Block ........ HOWEVER ADD IT SINCE I DONT SEE WHY THIS RESTRICTION EXISTS!!! TICK b, CAN BE USED in a condition TICK c, CAN BE USED in the for init for update TICK d, CAN BE USED in a switch TICK e, CAN BE USED in a stmt TICK These are the exact places to look for constants...a constant is StringConstant DoubleConstant FloatConstant IntConstant (shortype, booltype, charType intType, byteType LongConstant

Field Summary

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

DEBUG

Constructor Summary

Constructors

Constructor	Description
DeInliningFinalFields()
DeInliningFinalFields(boolean verbose)

Method Summary

Modifier and Type	Method	Description
Object	check(Value val)
void	checkAndSwitch(ValueBox valBox)
void	checkConditionalUses(Object cond, ASTNode node)
void	inASTDoWhileNode(ASTDoWhileNode node)
void	inASTForLoopNode(ASTForLoopNode node)
void	inASTIfElseNode(ASTIfElseNode node)
void	inASTIfNode(ASTIfNode node)
void	inASTMethodNode(ASTMethodNode node)
void	inASTStatementSequenceNode(ASTStatementSequenceNode node)
void	inASTSwitchNode(ASTSwitchNode node)
void	inASTSynchronizedBlockNode(ASTSynchronizedBlockNode node)
void	inASTWhileNode(ASTWhileNode node)

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, inASTOrCondition, 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

DeInliningFinalFields

public DeInliningFinalFields()

DeInliningFinalFields

public DeInliningFinalFields(boolean verbose)

Method Detail

inASTMethodNode

public void inASTMethodNode(ASTMethodNode node)

Overrides:

inASTMethodNode in class DepthFirstAdapter

inASTSynchronizedBlockNode

public void inASTSynchronizedBlockNode(ASTSynchronizedBlockNode node)

Overrides:

inASTSynchronizedBlockNode in class DepthFirstAdapter

checkAndSwitch

public void checkAndSwitch(ValueBox valBox)

check

public Object check(Value val)

inASTSwitchNode

public void inASTSwitchNode(ASTSwitchNode node)

Overrides:

inASTSwitchNode in class DepthFirstAdapter

inASTStatementSequenceNode

public void inASTStatementSequenceNode(ASTStatementSequenceNode node)

Overrides:

inASTStatementSequenceNode in class DepthFirstAdapter

inASTForLoopNode

public void inASTForLoopNode(ASTForLoopNode node)

Overrides:

inASTForLoopNode in class DepthFirstAdapter

checkConditionalUses

public void checkConditionalUses(Object cond,
                                 ASTNode node)

inASTIfNode

public void inASTIfNode(ASTIfNode node)

Overrides:

inASTIfNode in class DepthFirstAdapter

inASTIfElseNode

public void inASTIfElseNode(ASTIfElseNode node)

Overrides:

inASTIfElseNode 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