Package org.checkerframework.afu.annotator.scanner

Class CommonScanner

java.lang.Object

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

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

org.checkerframework.afu.annotator.scanner.CommonScanner

All Implemented Interfaces:

TreeVisitor<Void,Void>

Direct Known Subclasses:

CastScanner, InstanceOfScanner, LambdaScanner, LocalVariableScanner, MemberReferenceScanner, MethodCallScanner, NewScanner

public class CommonScanner
extends TreePathScanner<Void,Void>

The common base-class for all scanners that contains shared tree-traversal methods.

Constructor Summary

Constructors

Constructor	Description
CommonScanner()

Method Summary

Modifier and Type	Method	Description
Void	visitClass(ClassTree node, Void p)

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, visitBlock, visitBreak, visitCase, visitCatch, 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

Constructor Details

CommonScanner

public CommonScanner()

Method Details

visitClass

public Void visitClass(ClassTree node,
 Void p)

Specified by:

visitClass in interface TreeVisitor<Void,Void>

Overrides:

visitClass in class TreeScanner<Void,Void>