jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver.javaparsermodel/PatternVariableVisitor/visit

visit

open fun visit(expression: BinaryExpr, unused: Void): PatternVariableResult(source)

open fun visit(expr: UnaryExpr, unused: Void): PatternVariableResult(source)

open fun visit(instanceOfExpr: InstanceOfExpr, unused: Void): PatternVariableResult(source)

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

open fun visit(enclosedExpr: EnclosedExpr, unused: Void): PatternVariableResult(source)

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