Class PatternVariableVisitor

java.lang.Object

com.github.javaparser.ast.visitor.GenericVisitorWithDefaults<PatternVariableResult, Void>

com.github.javaparser.symbolsolver.javaparsermodel.PatternVariableVisitor

All Implemented Interfaces:

GenericVisitor<PatternVariableResult, Void>

public class PatternVariableVisitor
extends GenericVisitorWithDefaults<PatternVariableResult, Void>

Constructor Summary

Constructors

Constructor	Description
PatternVariableVisitor()

Method Summary

Modifier and Type	Method	Description
PatternVariableResult	defaultAction(Node node, Void unused)	This will be called by every node visit method that is not overridden.
private static PatternVariableResult	getVariablesIntroducedByAnd(BinaryExpr expression)	The following rules apply to a conditional-and expression a invalid input: '&'invalid input: '&' b: - A pattern variable is introduced by a invalid input: '&'invalid input: '&' 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	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	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	visit(BinaryExpr expression, Void unused)
PatternVariableResult	visit(EnclosedExpr enclosedExpr, 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	visit(InstanceOfExpr instanceOfExpr, 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	visit(UnaryExpr expr, Void unused)

Methods inherited from class GenericVisitorWithDefaults

defaultAction, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit, visit

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PatternVariableVisitor

public PatternVariableVisitor()

Method Details

defaultAction

public PatternVariableResult defaultAction(Node node,
 Void unused)

Description copied from class: GenericVisitorWithDefaults

This will be called by every node visit method that is not overridden.

Overrides:

defaultAction in class GenericVisitorWithDefaults<PatternVariableResult, Void>

visit

public PatternVariableResult visit(BinaryExpr expression,
 Void unused)

Specified by:

visit in interface GenericVisitor<PatternVariableResult, Void>

Overrides:

visit in class GenericVisitorWithDefaults<PatternVariableResult, Void>

getVariablesIntroducedByAnd

private static PatternVariableResult getVariablesIntroducedByAnd(BinaryExpr expression)

The following rules apply to a conditional-and expression a invalid input: '&'invalid input: '&' b: - A pattern variable is introduced by a invalid input: '&'invalid input: '&' b when true iff either (i) it is introduced by a when true or (ii) it is introduced by b when true. It should be noted that there is no rule for introducing a pattern variable by a invalid input: '&'invalid input: '&' b when false. This is because it cannot be determined at compile time which operand will evaluate to false. https://docs.oracle.com/javase/specs/jls/se22/html/jls-6.html#jls-6.3.1.1

getVariablesIntroducedByOr

private static PatternVariableResult 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. It should be noted that there is no rule for introducing a pattern variable by a || b when true. This is because it cannot be determined at compile time which operand will evaluate to true. https://docs.oracle.com/javase/specs/jls/se22/html/jls-6.html#jls-6.3.1.2

visit

public PatternVariableResult visit(UnaryExpr expr,
 Void unused)

Specified by:

visit in interface GenericVisitor<PatternVariableResult, Void>

Overrides:

visit in class GenericVisitorWithDefaults<PatternVariableResult, Void>

getVariablesIntroducedByLogicalComplement

private static PatternVariableResult 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. - A pattern variable is introduced by !a when false iff it is introduced by a when true. https://docs.oracle.com/javase/specs/jls/se22/html/jls-6.html#jls-6.3.1.3

visit

public PatternVariableResult visit(InstanceOfExpr instanceOfExpr,
 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. https://docs.oracle.com/javase/specs/jls/se22/html/jls-6.html#jls-6.3.1.5

Specified by:

visit in interface GenericVisitor<PatternVariableResult, Void>

Overrides:

visit in class GenericVisitorWithDefaults<PatternVariableResult, Void>

visit

public PatternVariableResult visit(EnclosedExpr enclosedExpr,
 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. - A pattern variable is introduced by (a) when false iff it is introduced by a when false. https://docs.oracle.com/javase/specs/jls/se22/html/jls-6.html#jls-6.3.1.7

Specified by:

visit in interface GenericVisitor<PatternVariableResult, Void>

Overrides:

visit in class GenericVisitorWithDefaults<PatternVariableResult, Void>