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

Packages that use ASTUnaryBinaryCondition

Package	Description
soot.dava.internal.AST
soot.dava.toolkits.base.AST.structuredAnalysis

Uses of ASTUnaryBinaryCondition in soot.dava.internal.AST

Subclasses of ASTUnaryBinaryCondition in soot.dava.internal.AST

Modifier and Type	Class and Description
class	ASTBinaryCondition
class	ASTUnaryCondition

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

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

Modifier and Type	Method and Description
DavaFlowSet	CP.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input)
DavaFlowSet	MustMayInitialize.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input)
DavaFlowSet	ReachingCopies.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input)
DavaFlowSet	ReachingDefs.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet inSet)
abstract DavaFlowSet	StructuredAnalysis.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input) To have maximum flexibility in analyzing conditions the analysis API breaks down the aggregated conditions to simple unary or binary conditions user defined code can then deal with each condition separately.
DavaFlowSet	UnreachableCodeFinder.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input)
abstract DavaFlowSet	StructuredAnalysis.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input) To have maximum flexibility in analyzing conditions the analysis API breaks down the aggregated conditions to simple unary or binary conditions user defined code can then deal with each condition separately.
DavaFlowSet	MustMayInitialize.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input)
DavaFlowSet	UnreachableCodeFinder.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input)
DavaFlowSet	ReachingDefs.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet inSet)
DavaFlowSet	CP.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input)
DavaFlowSet	ReachingCopies.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond, DavaFlowSet input)