Package org.checkerframework.framework.util

Class Heuristics.Within

  • All Implemented Interfaces:
    com.sun.source.tree.TreeVisitor<java.lang.Boolean,​java.lang.Void>
    Enclosing class:
    Heuristics
    public static class Heuristics.Within
extends Heuristics.Matcher
    match() returns true if called on a path, any element of which matches the given matcher (supplied at object initialization). That matcher is usually one that matches only the leaf of a path, ignoring all other parts of it.

    • Field Summary

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

        DEFAULT_VALUE

    • Constructor Summary

      Constructors 
      Constructor Description
      Within​(Heuristics.Matcher matcher)
      Create a new Within 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

      • Within

        public Within​(Heuristics.Matcher matcher)
        Create a new Within matcher.
        Parameters:
        matcher - the matcher that Within.match will try, on every parent of the path it is given

    • 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