org.checkerframework.framework.util

Class Heuristics.WithinTrueBranch

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<java.lang.Boolean,java.lang.Void>

org.checkerframework.framework.util.Heuristics.Matcher

org.checkerframework.framework.util.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

Field Summary

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

DEFAULT_VALUE

Constructor Summary

Constructors

Constructor and Description
WithinTrueBranch(Heuristics.Matcher conditionMatcher)

Method Summary

Modifier and Type	Method and Description
boolean	match(com.sun.source.util.TreePath path)

Methods inherited from class org.checkerframework.framework.util.Heuristics.Matcher

defaultAction, visitParenthesized

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)

Overrides:

match in class Heuristics.Matcher