Package org.checkerframework.framework.util

Class Heuristics.WithinTrueBranch

  • All Implemented Interfaces:
    com.sun.source.tree.TreeVisitor<java.lang.Boolean,​java.lang.Void>
    Enclosing class:
    Heuristics
    public static class Heuristics.WithinTrueBranch
extends Heuristics.Matcher
    match() returns true if called on a path whose leaf is within the "then" clause of an if whose condition matches the matcher (supplied at object initialization). Also returns true if the leaf is within the "else" of a negated condition that matches the supplied 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

    • Constructor Detail

      • WithinTrueBranch

        public WithinTrueBranch​(Heuristics.Matcher conditionMatcher)
        Parameters:
        conditionMatcher - for the condition

    • 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