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:
com.sun.source.tree.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 com.sun.source.util.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(com.sun.source.tree.Tree node, Void p)
     
    boolean
    match(com.sun.source.util.TreePath path)
    Returns true if the given path matches this Matcher.
    Boolean
    visitParenthesized(com.sun.source.tree.ParenthesizedTree node, 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(com.sun.source.tree.Tree node, Void p)
      Overrides:
      defaultAction in class com.sun.source.util.SimpleTreeVisitor<Boolean,Void>

    • visitParenthesized

      public Boolean visitParenthesized(com.sun.source.tree.ParenthesizedTree node, Void p)
      Specified by:
      visitParenthesized in interface com.sun.source.tree.TreeVisitor<Boolean,Void>
      Overrides:
      visitParenthesized in class com.sun.source.util.SimpleTreeVisitor<Boolean,Void>

    • match

      public boolean match(com.sun.source.util.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