Package org.checkerframework.framework.util

Class Heuristics.Matcher

java.lang.Object

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

org.checkerframework.framework.util.Heuristics.Matcher

All Implemented Interfaces:

TreeVisitor<Boolean,Void>

Direct Known Subclasses:

Heuristics.OfKind, Heuristics.OrMatcher, Heuristics.PreceededBy, Heuristics.Within, Heuristics.WithinTrueBranch

Enclosing class:

Heuristics

public static class Heuristics.Matcher
extends SimpleTreeVisitor<Boolean,Void>

A base class for tree-matching algorithms. Skips parentheses by default.

Field Summary

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

DEFAULT_VALUE

Constructor Summary

Constructors

Constructor	Description
Matcher()

Method Summary

Modifier and Type	Method	Description
protected Boolean	defaultAction(Tree tree, Void p)
boolean	match(TreePath path)	Returns true if the given path matches this Matcher.
Boolean	visitParenthesized(ParenthesizedTree tree, Void p)

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

Matcher

public Matcher()

Method Details

defaultAction

protected Boolean defaultAction(Tree tree,
 Void p)

Overrides:

defaultAction in class SimpleTreeVisitor<Boolean,Void>

visitParenthesized

public Boolean visitParenthesized(ParenthesizedTree tree,
 Void p)

Specified by:

visitParenthesized in interface TreeVisitor<Boolean,Void>

Overrides:

visitParenthesized in class SimpleTreeVisitor<Boolean,Void>

match

public boolean match(TreePath path)

Returns true if the given path matches this Matcher.

Parameters:

path - the path to test

Returns:

true if the given path matches this Matcher