Class Heuristics.OrMatcher
- java.lang.Object
-
- com.sun.source.util.SimpleTreeVisitor<java.lang.Boolean,java.lang.Void>
-
- org.checkerframework.framework.util.Heuristics.Matcher
-
- org.checkerframework.framework.util.Heuristics.OrMatcher
-
- All Implemented Interfaces:
com.sun.source.tree.TreeVisitor<java.lang.Boolean,java.lang.Void>
- Enclosing class:
- Heuristics
public static class Heuristics.OrMatcher extends Heuristics.Matcher
match()
returns true if any of the given matchers returns true.
-
-
Constructor Summary
Constructors Constructor Description OrMatcher(Heuristics.Matcher... matchers)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
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, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard
-
-
-
-
Constructor Detail
-
OrMatcher
public OrMatcher(Heuristics.Matcher... matchers)
-
-
Method Detail
-
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
-
-