Package org.checkerframework.framework.util

Class Heuristics.Within

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<Boolean,Void>

org.checkerframework.framework.util.Heuristics.Matcher

org.checkerframework.framework.util.Heuristics.Within

All Implemented Interfaces:

TreeVisitor<Boolean,Void>

Enclosing class:

Heuristics

public static class Heuristics.Within
extends Heuristics.Matcher

match() returns true if called on a path, any element of which matches the given matcher (supplied at object initialization). That matcher is usually one that matches only the leaf of a path, ignoring all other parts of it.

Field Summary

Fields inherited from class com.sun.source.util.SimpleTreeVisitor

DEFAULT_VALUE

Constructor Summary

Constructors

Constructor	Description
Within(Heuristics.Matcher matcher)	Create a new Within matcher.

Method Summary

Modifier and Type	Method	Description
boolean	match(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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Within

public Within(Heuristics.Matcher matcher)

Create a new Within matcher.

Parameters:

matcher - the matcher that Within.match will try, on every parent of the path it is given

Method Details

match

public boolean match(TreePath path)

Description copied from class: Heuristics.Matcher

Returns true if the given path matches this Matcher.

Overrides:

match in class Heuristics.Matcher

Parameters:

path - the path to test

Returns:

true if the given path matches this Matcher