Uses of Class
soot.dava.internal.AST.ASTCondition

Packages that use ASTCondition

soot.dava.internal.AST
soot.dava.toolkits.base.AST.structuredAnalysis
soot.dava.toolkits.base.AST.transformations
soot.dava.toolkits.base.AST.traversals

Uses of ASTCondition in soot.dava.internal.AST

Subclasses of ASTCondition in soot.dava.internal.AST

class	ASTAggregatedCondition
class	ASTAndCondition
class	ASTBinaryCondition
class	ASTOrCondition
class	ASTUnaryBinaryCondition
class	ASTUnaryCondition

Methods in soot.dava.internal.AST that return ASTCondition

ASTCondition	ASTControlFlowNode.get_Condition()
ASTCondition	ASTControlFlowNode.get_Condition()
ASTCondition	ASTAggregatedCondition.getLeftOp()
ASTCondition	ASTAggregatedCondition.getLeftOp()
ASTCondition	ASTAggregatedCondition.getRightOp()
ASTCondition	ASTAggregatedCondition.getRightOp()

Methods in soot.dava.internal.AST with parameters of type ASTCondition

void	ASTIfNode.replace(SETNodeLabel label, ASTCondition condition, List<Object> body)
void	ASTIfNode.replace(SETNodeLabel label, ASTCondition condition, List<Object> body)
void	ASTIfElseNode.replace(SETNodeLabel newLabel, ASTCondition newCond, List<Object> newBody, List<Object> bodyTwo)
void	ASTIfElseNode.replace(SETNodeLabel newLabel, ASTCondition newCond, List<Object> newBody, List<Object> bodyTwo)
void	ASTControlFlowNode.set_Condition(ASTCondition condition)
void	ASTControlFlowNode.set_Condition(ASTCondition condition)
void	ASTAggregatedCondition.setLeftOp(ASTCondition left)
void	ASTAggregatedCondition.setLeftOp(ASTCondition left)
void	ASTAggregatedCondition.setRightOp(ASTCondition right)
void	ASTAggregatedCondition.setRightOp(ASTCondition right)

Constructors in soot.dava.internal.AST with parameters of type ASTCondition

ASTAggregatedCondition(ASTCondition left, ASTCondition right)

ASTAggregatedCondition(ASTCondition left, ASTCondition right)

ASTAndCondition(ASTCondition left, ASTCondition right)

ASTAndCondition(ASTCondition left, ASTCondition right)

ASTControlFlowNode(SETNodeLabel label, ASTCondition condition)

ASTControlFlowNode(SETNodeLabel label, ASTCondition condition)

ASTDoWhileNode(SETNodeLabel label, ASTCondition ce, List<Object> body)

ASTDoWhileNode(SETNodeLabel label, ASTCondition ce, List<Object> body)

ASTForLoopNode(SETNodeLabel label, List<Object> init, ASTCondition condition, List<Object> update, List<Object> body)

ASTForLoopNode(SETNodeLabel label, List<Object> init, ASTCondition condition, List<Object> update, List<Object> body)

ASTIfElseNode(SETNodeLabel label, ASTCondition condition, List<Object> ifBody, List<Object> elseBody)

ASTIfElseNode(SETNodeLabel label, ASTCondition condition, List<Object> ifBody, List<Object> elseBody)

ASTIfNode(SETNodeLabel label, ASTCondition condition, List<Object> body)

ASTIfNode(SETNodeLabel label, ASTCondition condition, List<Object> body)

ASTOrCondition(ASTCondition left, ASTCondition right)

ASTOrCondition(ASTCondition left, ASTCondition right)

ASTWhileNode(SETNodeLabel label, ASTCondition ce, List<Object> body)

ASTWhileNode(SETNodeLabel label, ASTCondition ce, List<Object> body)

Uses of ASTCondition in soot.dava.toolkits.base.AST.structuredAnalysis

Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type ASTCondition

CPTuple	CP.checkForValueHints(ASTCondition cond, CPFlowSet input, boolean isElseBranch)
CPTuple	CP.checkForValueHints(ASTCondition cond, CPFlowSet input, boolean isElseBranch)
Object	StructuredAnalysis.processCondition(ASTCondition cond, Object input) This implementation breaks down the aggregated condition to the terminal conditions which all have type ASTUnaryBinaryCondition.
Object	StructuredAnalysis.processCondition(ASTCondition cond, Object input) This implementation breaks down the aggregated condition to the terminal conditions which all have type ASTUnaryBinaryCondition.

Uses of ASTCondition in soot.dava.toolkits.base.AST.transformations

Methods in soot.dava.toolkits.base.AST.transformations that return ASTCondition

ASTCondition	SimplifyConditions.applyDeMorgans(ASTAggregatedCondition aggCond)
ASTCondition	SimplifyConditions.applyDeMorgans(ASTAggregatedCondition aggCond)
ASTCondition	CPApplication.changedCondition(ASTCondition cond, CPFlowSet set)
ASTCondition	CPApplication.changedCondition(ASTCondition cond, CPFlowSet set)
ASTCondition	OrAggregatorTwo.getRightCond(List<Object> elseBody)
ASTCondition	OrAggregatorTwo.getRightCond(List<Object> elseBody)
ASTCondition	SimplifyConditions.simplifyIfAtleastOneConstant(ASTAggregatedCondition aggCond)
ASTCondition	SimplifyConditions.simplifyIfAtleastOneConstant(ASTAggregatedCondition aggCond)
ASTCondition	SimplifyConditions.simplifyTheCondition(ASTCondition cond)
ASTCondition	SimplifyConditions.simplifyTheCondition(ASTCondition cond)

Methods in soot.dava.toolkits.base.AST.transformations with parameters of type ASTCondition

ASTCondition	CPApplication.changedCondition(ASTCondition cond, CPFlowSet set)
ASTCondition	CPApplication.changedCondition(ASTCondition cond, CPFlowSet set)
ASTCondition	SimplifyConditions.simplifyTheCondition(ASTCondition cond)
ASTCondition	SimplifyConditions.simplifyTheCondition(ASTCondition cond)

Uses of ASTCondition in soot.dava.toolkits.base.AST.traversals

Methods in soot.dava.toolkits.base.AST.traversals with parameters of type ASTCondition

void	ASTUsesAndDefs.checkConditionalUses(ASTCondition cond, ASTNode node)
void	AllVariableUses.checkConditionalUses(ASTCondition cond, ASTNode node)
void	ASTUsesAndDefs.checkConditionalUses(ASTCondition cond, ASTNode node)
void	AllVariableUses.checkConditionalUses(ASTCondition cond, ASTNode node)
List<Value>	ASTUsesAndDefs.getUseList(ASTCondition cond)
List<Value>	AllVariableUses.getUseList(ASTCondition cond)
List<Value>	ASTUsesAndDefs.getUseList(ASTCondition cond)
List<Value>	AllVariableUses.getUseList(ASTCondition cond)
void	CopyPropagation.modifyUses(Local from, Local to, ASTCondition cond)
void	CopyPropagation.modifyUses(Local from, Local to, ASTCondition cond)