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

Class BooleanConditionSimplification

java.lang.Object

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

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

soot.dava.toolkits.base.AST.transformations.BooleanConditionSimplification

All Implemented Interfaces:

Analysis

public class BooleanConditionSimplification
extends DepthFirstAdapter

Field Summary

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

DEBUG

Constructor Summary

Constructors

Constructor	Description
BooleanConditionSimplification()
BooleanConditionSimplification(boolean verbose)

Method Summary

Modifier and Type	Method	Description
void	caseASTStatementSequenceNode(ASTStatementSequenceNode node)
void	outASTDoWhileNode(ASTDoWhileNode node)
void	outASTIfElseNode(ASTIfElseNode node)
void	outASTIfNode(ASTIfNode node)
void	outASTWhileNode(ASTWhileNode node)

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

caseArrayRef, caseASTAndCondition, caseASTBinaryCondition, caseASTDoWhileNode, caseASTForLoopNode, caseASTIfElseNode, caseASTIfNode, caseASTLabeledBlockNode, caseASTMethodNode, caseASTOrCondition, 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, 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, normalRetrieving, outArrayRef, outASTAndCondition, outASTBinaryCondition, outASTForLoopNode, outASTLabeledBlockNode, outASTMethodNode, outASTOrCondition, outASTStatementSequenceNode, outASTSwitchNode, outASTSynchronizedBlockNode, outASTTryNode, outASTUnaryCondition, outASTUnconditionalLoopNode, 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

BooleanConditionSimplification

public BooleanConditionSimplification(boolean verbose)

BooleanConditionSimplification

public BooleanConditionSimplification()

Method Detail

caseASTStatementSequenceNode

public void caseASTStatementSequenceNode(ASTStatementSequenceNode node)

Specified by:

caseASTStatementSequenceNode in interface Analysis

Overrides:

caseASTStatementSequenceNode in class DepthFirstAdapter

outASTIfNode

public void outASTIfNode(ASTIfNode node)

Overrides:

outASTIfNode in class DepthFirstAdapter

outASTIfElseNode

public void outASTIfElseNode(ASTIfElseNode node)

Overrides:

outASTIfElseNode in class DepthFirstAdapter

outASTWhileNode

public void outASTWhileNode(ASTWhileNode node)

Overrides:

outASTWhileNode in class DepthFirstAdapter

outASTDoWhileNode

public void outASTDoWhileNode(ASTDoWhileNode node)

Overrides:

outASTDoWhileNode in class DepthFirstAdapter