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

Class ShortcutArrayInit

java.lang.Object

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

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

soot.dava.toolkits.base.AST.transformations.ShortcutArrayInit

All Implemented Interfaces:

Analysis

public class ShortcutArrayInit
extends DepthFirstAdapter

Field Summary

Fields

Modifier and Type	Field	Description
static boolean	DEBUG

Constructor Summary

Constructors

Constructor	Description
ShortcutArrayInit()
ShortcutArrayInit(boolean verbose)

Method Summary

Modifier and Type	Method	Description
void	debug(String msg)
void	inASTMethodNode(ASTMethodNode node)
void	inASTStatementSequenceNode(ASTStatementSequenceNode node)
boolean	isInSequenceAssignment(Stmt s, Value leftOp, int index)
boolean	isInSequenceAssignmentPatternTwo(Stmt one, Stmt two, Value leftOp, int index)
void	markLocal(Value shortcutLocal)
void	secondPattern(ASTStatementSequenceNode 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, inASTDoWhileNode, inASTForLoopNode, inASTIfElseNode, inASTIfNode, inASTLabeledBlockNode, inASTOrCondition, inASTSwitchNode, inASTSynchronizedBlockNode, inASTTryNode, inASTUnaryCondition, inASTUnconditionalLoopNode, inASTWhileNode, 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

Field Detail

DEBUG

public static boolean DEBUG

Constructor Detail

ShortcutArrayInit

public ShortcutArrayInit()

ShortcutArrayInit

public ShortcutArrayInit(boolean verbose)

Method Detail

inASTMethodNode

public void inASTMethodNode(ASTMethodNode node)

Overrides:

inASTMethodNode in class DepthFirstAdapter

debug

public void debug(String msg)

inASTStatementSequenceNode

public void inASTStatementSequenceNode(ASTStatementSequenceNode node)

Overrides:

inASTStatementSequenceNode in class DepthFirstAdapter

isInSequenceAssignment

public boolean isInSequenceAssignment(Stmt s,
                                      Value leftOp,
                                      int index)

secondPattern

public void secondPattern(ASTStatementSequenceNode node)

isInSequenceAssignmentPatternTwo

public boolean isInSequenceAssignmentPatternTwo(Stmt one,
                                                Stmt two,
                                                Value leftOp,
                                                int index)

markLocal

public void markLocal(Value shortcutLocal)