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

Class EliminateConditions

java.lang.Object

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

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

soot.dava.toolkits.base.AST.transformations.EliminateConditions

All Implemented Interfaces:

Analysis

public class EliminateConditions
extends DepthFirstAdapter

Field Summary

Fields

Modifier and Type	Field	Description
static boolean	DEBUG
boolean	modified

Constructor Summary

Constructors

Constructor	Description
EliminateConditions(boolean verbose, ASTMethodNode AST)
EliminateConditions(ASTMethodNode AST)

Method Summary

Modifier and Type	Method	Description
boolean	canChange(Boolean returned, ASTNode temp)
void	caseASTTryNode(ASTTryNode node)
boolean	change(Boolean returned, ASTNode temp)
void	dealWithSwitchNode(ASTSwitchNode node)
Boolean	eliminate(ASTNode node)
Boolean	eliminateForTry(ASTNode node)
Boolean	isBooleanConstant(Value internal)
void	normalRetrieving(ASTNode 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, 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, inDefinitionStmt, inDVariableDeclarationStmt, inExpr, inExprOrRefValueBox, inInstanceFieldRef, inInstanceInvokeExpr, inInstanceOfExpr, inInvokeExpr, inInvokeStmt, inNewArrayExpr, inNewMultiArrayExpr, inRef, inReturnStmt, inStaticFieldRef, inStmt, inThrowStmt, inType, inUnopExpr, inValue, 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

modified

public boolean modified

Constructor Detail

EliminateConditions

public EliminateConditions(ASTMethodNode AST)

EliminateConditions

public EliminateConditions(boolean verbose,
                           ASTMethodNode AST)

Method Detail

normalRetrieving

public void normalRetrieving(ASTNode node)

Overrides:

normalRetrieving in class DepthFirstAdapter

eliminate

public Boolean eliminate(ASTNode node)

isBooleanConstant

public Boolean isBooleanConstant(Value internal)

eliminateForTry

public Boolean eliminateForTry(ASTNode node)

caseASTTryNode

public void caseASTTryNode(ASTTryNode node)

Specified by:

caseASTTryNode in interface Analysis

Overrides:

caseASTTryNode in class DepthFirstAdapter

canChange

public boolean canChange(Boolean returned,
                         ASTNode temp)

change

public boolean change(Boolean returned,
                      ASTNode temp)

dealWithSwitchNode

public void dealWithSwitchNode(ASTSwitchNode node)