Package org.checkerframework.framework.util

Class Heuristics.OfKind

  • All Implemented Interfaces:
    com.sun.source.tree.TreeVisitor<java.lang.Boolean,​java.lang.Void>
    Enclosing class:
    Heuristics
    public static class Heuristics.OfKind
extends Heuristics.Matcher
    match() returns true if called on a path whose leaf has the given kind (supplied at object initialization).

    • Field Summary

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

        DEFAULT_VALUE

    • Constructor Summary

      Constructors 
      Constructor Description
      OfKind​(com.sun.source.tree.Tree.Kind kind, Heuristics.Matcher matcher)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean match​(com.sun.source.util.TreePath path)
      Returns true if the given path matches this Matcher.

      • 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

      • OfKind

        public OfKind​(com.sun.source.tree.Tree.Kind kind,
              Heuristics.Matcher matcher)

    • Method Detail

      • match

        public boolean match​(com.sun.source.util.TreePath path)
        Description copied from class: Heuristics.Matcher
        Returns true if the given path matches this Matcher.
        Overrides:
        match in class Heuristics.Matcher
        Parameters:
        path - the path to test
        Returns:
        true if the given path matches this Matcher