Package org.checkerframework.afu.annotator.scanner

Class InitBlockScanner

java.lang.Object

com.sun.source.util.TreeScanner<Void,Boolean>

com.sun.source.util.TreePathScanner<Void,Boolean>

org.checkerframework.afu.annotator.scanner.InitBlockScanner

All Implemented Interfaces:

TreeVisitor<Void,Boolean>

public class InitBlockScanner
extends TreePathScanner<Void,Boolean>

InitScanner scans the source tree and determines the index of a given initializer block, where index i corresponds to the (0-based) i^th initializer of the indicated kind (static or instance).

Method Summary

Modifier and Type	Method	Description
static int	indexOfInitTree(TreePath path, boolean isStatic)
Void	visitBlock(BlockTree node, Boolean isStatic)

Methods inherited from class com.sun.source.util.TreePathScanner

getCurrentPath, scan, scan

Methods inherited from class com.sun.source.util.TreeScanner

reduce, scan, visitAnnotatedType, visitAnnotation, visitAnyPattern, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBindingPattern, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitConstantCaseLabel, visitContinue, visitDeconstructionPattern, visitDefaultCaseLabel, 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, visitParenthesized, visitPatternCaseLabel, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitStringTemplate, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard, visitYield

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

indexOfInitTree

public static int indexOfInitTree(TreePath path,
 boolean isStatic)

visitBlock

public Void visitBlock(BlockTree node,
 Boolean isStatic)

Specified by:

visitBlock in interface TreeVisitor<Void,Boolean>

Overrides:

visitBlock in class TreeScanner<Void,Boolean>