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:

com.sun.source.tree.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 com.sun.source.util.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(com.sun.source.tree.Tree node, java.lang.Void p)
boolean	match(com.sun.source.util.TreePath path)
java.lang.Boolean	visitParenthesized(com.sun.source.tree.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, 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 java.lang.Boolean defaultAction(com.sun.source.tree.Tree node,
                                          java.lang.Void p)

Overrides:

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

visitParenthesized

public java.lang.Boolean visitParenthesized(com.sun.source.tree.ParenthesizedTree node,
                                            java.lang.Void p)

Specified by:

visitParenthesized in interface com.sun.source.tree.TreeVisitor<java.lang.Boolean,java.lang.Void>

Overrides:

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

match

public boolean match(com.sun.source.util.TreePath path)