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

Packages that use ASTCondition

Package	Description
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

Modifier and Type	Class and Description
class	ASTAggregatedCondition
class	ASTAndCondition
class	ASTBinaryCondition
class	ASTOrCondition
class	ASTUnaryBinaryCondition
class	ASTUnaryCondition

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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
void	ASTIfNode.replace(SETNodeLabel label, ASTCondition condition, java.util.List<java.lang.Object> body)
void	ASTIfNode.replace(SETNodeLabel label, ASTCondition condition, java.util.List<java.lang.Object> body)
void	ASTIfElseNode.replace(SETNodeLabel newLabel, ASTCondition newCond, java.util.List<java.lang.Object> newBody, java.util.List<java.lang.Object> bodyTwo)
void	ASTIfElseNode.replace(SETNodeLabel newLabel, ASTCondition newCond, java.util.List<java.lang.Object> newBody, java.util.List<java.lang.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

Constructor and Description
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, java.util.List<java.lang.Object> body)
ASTDoWhileNode(SETNodeLabel label, ASTCondition ce, java.util.List<java.lang.Object> body)
ASTForLoopNode(SETNodeLabel label, java.util.List<java.lang.Object> init, ASTCondition condition, java.util.List<java.lang.Object> update, java.util.List<java.lang.Object> body)
ASTForLoopNode(SETNodeLabel label, java.util.List<java.lang.Object> init, ASTCondition condition, java.util.List<java.lang.Object> update, java.util.List<java.lang.Object> body)
ASTIfElseNode(SETNodeLabel label, ASTCondition condition, java.util.List<java.lang.Object> ifBody, java.util.List<java.lang.Object> elseBody)
ASTIfElseNode(SETNodeLabel label, ASTCondition condition, java.util.List<java.lang.Object> ifBody, java.util.List<java.lang.Object> elseBody)
ASTIfNode(SETNodeLabel label, ASTCondition condition, java.util.List<java.lang.Object> body)
ASTIfNode(SETNodeLabel label, ASTCondition condition, java.util.List<java.lang.Object> body)
ASTOrCondition(ASTCondition left, ASTCondition right)
ASTOrCondition(ASTCondition left, ASTCondition right)
ASTWhileNode(SETNodeLabel label, ASTCondition ce, java.util.List<java.lang.Object> body)
ASTWhileNode(SETNodeLabel label, ASTCondition ce, java.util.List<java.lang.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

Modifier and Type	Method and Description
CPTuple	CP.checkForValueHints(ASTCondition cond, CPFlowSet input, boolean isElseBranch)
CPTuple	CP.checkForValueHints(ASTCondition cond, CPFlowSet input, boolean isElseBranch)
DavaFlowSet	StructuredAnalysis.processCondition(ASTCondition cond, DavaFlowSet input) This implementation breaks down the aggregated condition to the terminal conditions which all have type ASTUnaryBinaryCondition.
DavaFlowSet	StructuredAnalysis.processCondition(ASTCondition cond, DavaFlowSet 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

Modifier and Type	Method and Description
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(java.util.List<java.lang.Object> elseBody)
ASTCondition	OrAggregatorTwo.getRightCond(java.util.List<java.lang.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

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
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)
java.util.List<Value>	ASTUsesAndDefs.getUseList(ASTCondition cond)
java.util.List<Value>	AllVariableUses.getUseList(ASTCondition cond)
java.util.List<Value>	ASTUsesAndDefs.getUseList(ASTCondition cond)
java.util.List<Value>	AllVariableUses.getUseList(ASTCondition cond)
void	CopyPropagation.modifyUses(Local from, Local to, ASTCondition cond)
void	CopyPropagation.modifyUses(Local from, Local to, ASTCondition cond)