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 view points 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 and Description
DependentTypesTreeAnnotator(AnnotatedTypeFactory atypeFactory, DependentTypesHelper helper)

Method Summary

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

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

visitBinary, visitMethod

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

defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMethodInvocation, visitModifiers, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitUnary, visitUnionType, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

DependentTypesTreeAnnotator

public DependentTypesTreeAnnotator(AnnotatedTypeFactory atypeFactory,
                                   DependentTypesHelper helper)

Method Detail

visitClass

public Void visitClass(ClassTree node,
                       AnnotatedTypeMirror annotatedTypeMirror)

Specified by:

visitClass in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitClass in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitNewArray

public Void visitNewArray(NewArrayTree node,
                          AnnotatedTypeMirror annotatedType)

Specified by:

visitNewArray in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitNewArray in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitNewClass

public Void visitNewClass(NewClassTree node,
                          AnnotatedTypeMirror annotatedType)

Specified by:

visitNewClass in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitNewClass in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitTypeCast

public Void visitTypeCast(TypeCastTree node,
                          AnnotatedTypeMirror annotatedType)

Specified by:

visitTypeCast in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitTypeCast in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitVariable

public Void visitVariable(VariableTree node,
                          AnnotatedTypeMirror annotatedTypeMirror)

Specified by:

visitVariable in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitVariable in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitIdentifier

public Void visitIdentifier(IdentifierTree node,
                            AnnotatedTypeMirror annotatedTypeMirror)

Specified by:

visitIdentifier in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitIdentifier in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitMemberSelect

public Void visitMemberSelect(MemberSelectTree node,
                              AnnotatedTypeMirror type)

Specified by:

visitMemberSelect in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitMemberSelect in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>