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

static boolean

DEBUG

Constructor Summary

ShortcutArrayInit()

ShortcutArrayInit(boolean verbose)

Method Summary

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)