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 and Description
Matcher()

Method Summary

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Matcher

public Matcher()

Method Detail

defaultAction

protected Boolean defaultAction(Tree node,
                                Void p)

Overrides:

defaultAction in class SimpleTreeVisitor<Boolean,Void>

visitParenthesized

public Boolean visitParenthesized(ParenthesizedTree node,
                                  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