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.
protected Types	types The Types helper to use when scanning.

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
void	setRoot(CompilationUnitTree root)
void	visit(TreePath path)

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, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBinary, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethod, visitMethodInvocation, visitModifiers, visitNewArray, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitVariable, 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.

Constructor Detail

SourceVisitor

public 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)

visit

public void visit(TreePath path)