checkers.util
Class Heuristics.WithinTrueBranch

java.lang.Object
  extended by com.sun.source.util.SimpleTreeVisitor<Boolean,Void>
      extended by checkers.util.Heuristics.Matcher
          extended by checkers.util.Heuristics.WithinTrueBranch
All Implemented Interfaces:
TreeVisitor<Boolean,Void>
Enclosing class:
Heuristics

public static class Heuristics.WithinTrueBranch
extends Heuristics.Matcher


Field Summary
Modifier and Type Field and Description
 
Fields inherited from class com.sun.source.util.SimpleTreeVisitor
DEFAULT_VALUE
 
Constructor Summary
Constructor and Description
Heuristics.WithinTrueBranch(Heuristics.Matcher conditionMatcher)
           
 
Method Summary
Modifier and Type Method and Description
 boolean match(TreePath path)
           
 
Methods inherited from class checkers.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, visitDisjointType, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitLabeledStatement, visitLiteral, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitNewArray, visitNewClass, visitOther, visitParameterizedType, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitVariable, visitWhileLoop, visitWildcard
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Heuristics.WithinTrueBranch

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

match

public boolean match(TreePath path)
Overrides:
match in class Heuristics.Matcher