Methods in soot.dava.toolkits.base.AST.structuredAnalysis with parameters of type ASTUnaryBinaryCondition |
Object |
CP.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
|
Object |
MustMayInitialize.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
|
Object |
ReachingCopies.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
|
Object |
ReachingDefs.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
|
abstract Object |
StructuredAnalysis.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object 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 separatly. |
Object |
UnreachableCodeFinder.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
|
Object |
UnreachableCodeFinder.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
|
abstract Object |
StructuredAnalysis.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object 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 separatly. |
Object |
ReachingDefs.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
|
Object |
ReachingCopies.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
|
Object |
MustMayInitialize.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
|
Object |
CP.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
Object input)
|