DavaFlowSet |
CP.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet input) |
DavaFlowSet |
MustMayInitialize.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet input) |
DavaFlowSet |
ReachingCopies.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet input) |
DavaFlowSet |
UnreachableCodeFinder.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet input) |
DavaFlowSet |
MustMayInitialize.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet input) |
DavaFlowSet |
UnreachableCodeFinder.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet input) |
DavaFlowSet |
CP.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet input) |
DavaFlowSet |
ReachingCopies.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet input) |
abstract DavaFlowSet<E> |
StructuredAnalysis.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet<E> 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.
|
abstract DavaFlowSet<E> |
StructuredAnalysis.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet<E> 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<Stmt> |
ReachingDefs.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet<Stmt> inSet) |
DavaFlowSet<Stmt> |
ReachingDefs.processUnaryBinaryCondition(ASTUnaryBinaryCondition cond,
DavaFlowSet<Stmt> inSet) |