Uses of Class
com.github.javaparser.symbolsolver.javaparsermodel.PatternVariableResult

Packages that use PatternVariableResult

Package	Description
com.github.javaparser.symbolsolver.javaparsermodel	Implementation of model based on JavaParser.

Uses of PatternVariableResult in com.github.javaparser.symbolsolver.javaparsermodel

Subclasses with type arguments of type PatternVariableResult in com.github.javaparser.symbolsolver.javaparsermodel

Modifier and Type	Class	Description
class	PatternVariableVisitor

Methods in com.github.javaparser.symbolsolver.javaparsermodel that return PatternVariableResult

Modifier and Type	Method	Description
PatternVariableResult	PatternVariableVisitor.defaultAction(Node node, Void unused)
private static PatternVariableResult	PatternVariableVisitor.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	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, Void unused)
PatternVariableResult	PatternVariableVisitor.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	PatternVariableVisitor.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	PatternVariableVisitor.visit(UnaryExpr expr, Void unused)