PatternVariableResult |
PatternVariableVisitor.defaultAction(Node node,
java.lang.Void unused) |
|
private static PatternVariableResult |
PatternVariableVisitor.getVariablesIntroducedByAnd(BinaryExpr expression) |
The following rules apply to a conditional-and expression a && b:
- A pattern variable is introduced by a && b when true iff either
(i) it is introduced by a when true or
(ii) it is introduced by b when true.
|
private static PatternVariableResult |
PatternVariableVisitor.getVariablesIntroducedByLogicalComplement(UnaryExpr unaryExpr) |
The following rules apply to a logical complement expression !a:
- A pattern variable is introduced by !a when true iff it is introduced by a when false.
|
private static PatternVariableResult |
PatternVariableVisitor.getVariablesIntroducedByOr(BinaryExpr expression) |
The following rules apply to a conditional-or expression a || b:
- A pattern variable is introduced by a || b when false iff either
(i) it is introduced by a when false or
(ii) it is introduced by b when false.
|
PatternVariableResult |
PatternVariableVisitor.visit(BinaryExpr expression,
java.lang.Void unused) |
|
PatternVariableResult |
PatternVariableVisitor.visit(EnclosedExpr enclosedExpr,
java.lang.Void unused) |
The following rules apply to a parenthesized expression (a):
- A pattern variable is introduced by (a) when true iff it is introduced by a when true.
|
PatternVariableResult |
PatternVariableVisitor.visit(InstanceOfExpr instanceOfExpr,
java.lang.Void unused) |
The following rule applies to an instanceof expression with a pattern operand, a instanceof p:
- A pattern variable is introduced by a instanceof p when true iff the pattern p contains a declaration of the pattern variable.
|
PatternVariableResult |
PatternVariableVisitor.visit(UnaryExpr expr,
java.lang.Void unused) |
|