org.checkerframework.framework.source

Class SourceVisitor<R,P>

java.lang.Object

com.sun.source.util.TreeScanner<R,P>

com.sun.source.util.TreePathScanner<R,P>

org.checkerframework.framework.source.SourceVisitor<R,P>

All Implemented Interfaces:

TreeVisitor<R,P>

Direct Known Subclasses:

BaseTypeVisitor

public abstract class SourceVisitor<R,P>
extends TreePathScanner<R,P>

An AST visitor that provides a variety of compiler utilities and interfaces to facilitate type-checking.

Field Summary

Fields

Modifier and Type	Field and Description
protected Elements	elements The Elements helper to use when scanning.
protected CompilationUnitTree	root The root of the AST that this SourceVisitor will scan.
protected Trees	trees The Trees instance to use for scanning.
List<Tree>	treesWithSuppressWarnings A set of trees that are annotated with @SuppressWarnings.
protected Types	types The Types helper to use when scanning.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SourceVisitor(SourceChecker checker) Creates a SourceVisitor to use for scanning a source tree.

Method Summary

Modifier and Type	Method and Description
R	scan(Tree tree, P p)
void	setRoot(CompilationUnitTree root) Set the CompilationUnitTree to be used during any visits.
void	visit(TreePath path) Entry point for a type processor: the TreePath leaf is a top-level type tree within root.
R	visitClass(ClassTree classTree, P p)
R	visitMethod(MethodTree node, P p)
R	visitVariable(VariableTree variableTree, P p)

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

getCurrentPath, scan

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

reduce, scan, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Field Detail

trees

protected final Trees trees

The Trees instance to use for scanning.

elements

protected final Elements elements

The Elements helper to use when scanning.

types

protected final Types types

The Types helper to use when scanning.

root

protected CompilationUnitTree root

The root of the AST that this SourceVisitor will scan.

treesWithSuppressWarnings

public final List<Tree> treesWithSuppressWarnings

A set of trees that are annotated with @SuppressWarnings.

Constructor Detail

SourceVisitor

protected SourceVisitor(SourceChecker checker)

Creates a SourceVisitor to use for scanning a source tree.

Parameters:

checker - the checker to invoke on the input source tree

Method Detail

setRoot

public void setRoot(CompilationUnitTree root)

Set the CompilationUnitTree to be used during any visits. For any later calls of com.sun.source.util.TreePathScanner.scan(TreePath, P), the CompilationUnitTree of the TreePath has to be equal to root.

visit

public void visit(TreePath path)

Entry point for a type processor: the TreePath leaf is a top-level type tree within root.

scan

public R scan(Tree tree,
              P p)

Overrides:

scan in class TreePathScanner<R,P>

visitClass

public R visitClass(ClassTree classTree,
                    P p)

Specified by:

visitClass in interface TreeVisitor<R,P>

Overrides:

visitClass in class TreeScanner<R,P>

visitVariable

public R visitVariable(VariableTree variableTree,
                       P p)

Specified by:

visitVariable in interface TreeVisitor<R,P>

Overrides:

visitVariable in class TreeScanner<R,P>

visitMethod

public R visitMethod(MethodTree node,
                     P p)

Specified by:

visitMethod in interface TreeVisitor<R,P>

Overrides:

visitMethod in class TreeScanner<R,P>