Uses of Class
com.github.javaparser.symbolsolver.javaparsermodel.PatternVariableResult
Packages that use PatternVariableResult
Package
Description
Implementation of model based on JavaParser.
-
Uses of PatternVariableResult in com.github.javaparser.symbolsolver.javaparsermodel
Methods in com.github.javaparser.symbolsolver.javaparsermodel that return PatternVariableResultModifier and TypeMethodDescriptionPatternVariableVisitor.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.PatternVariableVisitor.visit
(BinaryExpr expression, Void unused) 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.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.