org.checkerframework.framework.util.dependenttypes

Class DependentTypesTreeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.framework.util.dependenttypes.DependentTypesTreeAnnotator

All Implemented Interfaces:

com.sun.source.tree.TreeVisitor<java.lang.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
java.lang.Void	visitClass(com.sun.source.tree.ClassTree node, AnnotatedTypeMirror annotatedTypeMirror)
java.lang.Void	visitIdentifier(com.sun.source.tree.IdentifierTree node, AnnotatedTypeMirror annotatedTypeMirror)
java.lang.Void	visitMemberSelect(com.sun.source.tree.MemberSelectTree node, AnnotatedTypeMirror type)
java.lang.Void	visitNewArray(com.sun.source.tree.NewArrayTree node, AnnotatedTypeMirror annotatedType)
java.lang.Void	visitNewClass(com.sun.source.tree.NewClassTree node, AnnotatedTypeMirror annotatedType)
java.lang.Void	visitTypeCast(com.sun.source.tree.TypeCastTree node, AnnotatedTypeMirror annotatedType)
java.lang.Void	visitVariable(com.sun.source.tree.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, visitExports, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMethodInvocation, visitModifiers, visitModule, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitUnary, visitUnionType, visitUses, 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 java.lang.Void visitClass(com.sun.source.tree.ClassTree node,
                                 AnnotatedTypeMirror annotatedTypeMirror)

Specified by:

visitClass in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>

Overrides:

visitClass in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>

visitNewArray

public java.lang.Void visitNewArray(com.sun.source.tree.NewArrayTree node,
                                    AnnotatedTypeMirror annotatedType)

Specified by:

visitNewArray in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>

Overrides:

visitNewArray in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>

visitNewClass

public java.lang.Void visitNewClass(com.sun.source.tree.NewClassTree node,
                                    AnnotatedTypeMirror annotatedType)

Specified by:

visitNewClass in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>

Overrides:

visitNewClass in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>

visitTypeCast

public java.lang.Void visitTypeCast(com.sun.source.tree.TypeCastTree node,
                                    AnnotatedTypeMirror annotatedType)

Specified by:

visitTypeCast in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>

Overrides:

visitTypeCast in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>

visitVariable

public java.lang.Void visitVariable(com.sun.source.tree.VariableTree node,
                                    AnnotatedTypeMirror annotatedTypeMirror)

Specified by:

visitVariable in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>

Overrides:

visitVariable in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>

visitIdentifier

public java.lang.Void visitIdentifier(com.sun.source.tree.IdentifierTree node,
                                      AnnotatedTypeMirror annotatedTypeMirror)

Specified by:

visitIdentifier in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>

Overrides:

visitIdentifier in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>

visitMemberSelect

public java.lang.Void visitMemberSelect(com.sun.source.tree.MemberSelectTree node,
                                        AnnotatedTypeMirror type)

Specified by:

visitMemberSelect in interface com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>

Overrides:

visitMemberSelect in class com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>