Package org.checkerframework.framework.util.dependenttypes

Class DependentTypesTreeAnnotator

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.framework.util.dependenttypes.DependentTypesTreeAnnotator

All Implemented Interfaces:

TreeVisitor<Void,AnnotatedTypeMirror>

public class DependentTypesTreeAnnotator
extends TreeAnnotator

Standardizes Java expressions in annotations and also viewpoint-adapts field accesses. Other viewpoint adaption is handled in DependentTypesHelper.

Field Summary

Fields inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

atypeFactory

Fields inherited from class com.sun.source.util.SimpleTreeVisitor

DEFAULT_VALUE

Constructor Summary

Constructors

Constructor	Description
DependentTypesTreeAnnotator(AnnotatedTypeFactory atypeFactory, DependentTypesHelper helper)

Method Summary

Modifier and Type	Method	Description
Void	visitClass(ClassTree tree, AnnotatedTypeMirror annotatedTypeMirror)
Void	visitIdentifier(IdentifierTree tree, AnnotatedTypeMirror annotatedTypeMirror)
Void	visitMemberSelect(MemberSelectTree tree, AnnotatedTypeMirror type)
Void	visitNewArray(NewArrayTree tree, AnnotatedTypeMirror annotatedType)
Void	visitTypeCast(TypeCastTree tree, AnnotatedTypeMirror annotatedType)
Void	visitVariable(VariableTree tree, AnnotatedTypeMirror annotatedTypeMirror)

Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

log, visitBinary, visitMethod

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

defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBindingPattern, visitBlock, visitBreak, visitCase, visitCatch, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitGuardedPattern, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMethodInvocation, visitModifiers, visitModule, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitParenthesizedPattern, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitWhileLoop, visitWildcard, visitYield

Methods inherited from class java.lang.Object

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

Constructor Details

DependentTypesTreeAnnotator

public DependentTypesTreeAnnotator(AnnotatedTypeFactory atypeFactory,
 DependentTypesHelper helper)

Method Details

visitClass

public Void visitClass(ClassTree tree,
 AnnotatedTypeMirror annotatedTypeMirror)

Specified by:

visitClass in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitClass in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitNewArray

public Void visitNewArray(NewArrayTree tree,
 AnnotatedTypeMirror annotatedType)

Specified by:

visitNewArray in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitNewArray in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitTypeCast

public Void visitTypeCast(TypeCastTree tree,
 AnnotatedTypeMirror annotatedType)

Specified by:

visitTypeCast in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitTypeCast in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitVariable

public Void visitVariable(VariableTree tree,
 AnnotatedTypeMirror annotatedTypeMirror)

Specified by:

visitVariable in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitVariable in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitIdentifier

public Void visitIdentifier(IdentifierTree tree,
 AnnotatedTypeMirror annotatedTypeMirror)

Specified by:

visitIdentifier in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitIdentifier in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitMemberSelect

public Void visitMemberSelect(MemberSelectTree tree,
 AnnotatedTypeMirror type)

Specified by:

visitMemberSelect in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitMemberSelect in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>