org.checkerframework.framework.util

Class Heuristics.Matcher

java.lang.Object

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

org.checkerframework.framework.util.Heuristics.Matcher

All Implemented Interfaces:

TreeVisitor<java.lang.Boolean,java.lang.Void>

Direct Known Subclasses:

Heuristics.OfKind, Heuristics.OrMatcher, Heuristics.PreceededBy, Heuristics.WithIn, Heuristics.WithinTrueBranch

Enclosing class:

Heuristics

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

A convenience 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 java.lang.Boolean	defaultAction(Tree node, java.lang.Void p)
boolean	match(TreePath path)
java.lang.Boolean	visitParenthesized(ParenthesizedTree node, java.lang.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, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitNewArray, visitNewClass, visitOther, visitParameterizedType, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, 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 java.lang.Boolean defaultAction(Tree node,
                                          java.lang.Void p)

Overrides:

defaultAction in class SimpleTreeVisitor<java.lang.Boolean,java.lang.Void>

visitParenthesized

public java.lang.Boolean visitParenthesized(ParenthesizedTree node,
                                            java.lang.Void p)

Specified by:

visitParenthesized in interface TreeVisitor<java.lang.Boolean,java.lang.Void>

Overrides:

visitParenthesized in class SimpleTreeVisitor<java.lang.Boolean,java.lang.Void>

match

public boolean match(TreePath path)