Class Heuristics.OrMatcher
java.lang.Object
com.sun.source.util.SimpleTreeVisitor<Boolean,Void>
org.checkerframework.framework.util.Heuristics.Matcher
org.checkerframework.framework.util.Heuristics.OrMatcher
- Enclosing class:
- Heuristics
match()
returns true if any of the given matchers returns true.-
Field Summary
Fields inherited from class com.sun.source.util.SimpleTreeVisitor
DEFAULT_VALUE
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionboolean
match
(com.sun.source.util.TreePath path) Returns true if the given path matches this Matcher.Methods inherited from class org.checkerframework.framework.util.Heuristics.Matcher
defaultAction, visitParenthesized
Methods inherited from class com.sun.source.util.SimpleTreeVisitor
visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBindingPattern, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitGuardedPattern, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesizedPattern, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard, visitYield
-
Constructor Details
-
OrMatcher
-
-
Method Details
-
match
public boolean match(com.sun.source.util.TreePath path) Description copied from class:Heuristics.Matcher
Returns true if the given path matches this Matcher.- Overrides:
match
in classHeuristics.Matcher
- Parameters:
path
- the path to test- Returns:
- true if the given path matches this Matcher
-