Package org.checkerframework.framework.util

Class Heuristics.PreceededBy

  • All Implemented Interfaces:
    com.sun.source.tree.TreeVisitor<java.lang.Boolean,​java.lang.Void>
    Enclosing class:
    Heuristics
    public static class Heuristics.PreceededBy
extends Heuristics.Matcher

    • Field Summary

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

        DEFAULT_VALUE

    • 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

    • 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