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 viewpoint-adapts field accesses. Other viewpoint adaption is handled inDependentTypesHelper
.
-
-
Field Summary
-
Fields inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator
atypeFactory
-
-
Constructor Summary
Constructors Constructor Description DependentTypesTreeAnnotator(AnnotatedTypeFactory atypeFactory, DependentTypesHelper helper)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Void
visitClass(com.sun.source.tree.ClassTree tree, AnnotatedTypeMirror annotatedTypeMirror)
java.lang.Void
visitIdentifier(com.sun.source.tree.IdentifierTree tree, AnnotatedTypeMirror annotatedTypeMirror)
java.lang.Void
visitMemberSelect(com.sun.source.tree.MemberSelectTree tree, AnnotatedTypeMirror type)
java.lang.Void
visitNewArray(com.sun.source.tree.NewArrayTree tree, AnnotatedTypeMirror annotatedType)
java.lang.Void
visitTypeCast(com.sun.source.tree.TypeCastTree tree, AnnotatedTypeMirror annotatedType)
java.lang.Void
visitVariable(com.sun.source.tree.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, 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, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitWhileLoop, visitWildcard
-
-
-
-
Constructor Detail
-
DependentTypesTreeAnnotator
public DependentTypesTreeAnnotator(AnnotatedTypeFactory atypeFactory, DependentTypesHelper helper)
-
-
Method Detail
-
visitClass
public java.lang.Void visitClass(com.sun.source.tree.ClassTree tree, AnnotatedTypeMirror annotatedTypeMirror)
- Specified by:
visitClass
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
- Overrides:
visitClass
in classcom.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
-
visitNewArray
public java.lang.Void visitNewArray(com.sun.source.tree.NewArrayTree tree, AnnotatedTypeMirror annotatedType)
- Specified by:
visitNewArray
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
- Overrides:
visitNewArray
in classcom.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
-
visitTypeCast
public java.lang.Void visitTypeCast(com.sun.source.tree.TypeCastTree tree, AnnotatedTypeMirror annotatedType)
- Specified by:
visitTypeCast
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
- Overrides:
visitTypeCast
in classcom.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
-
visitVariable
public java.lang.Void visitVariable(com.sun.source.tree.VariableTree tree, AnnotatedTypeMirror annotatedTypeMirror)
- Specified by:
visitVariable
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
- Overrides:
visitVariable
in classcom.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
-
visitIdentifier
public java.lang.Void visitIdentifier(com.sun.source.tree.IdentifierTree tree, AnnotatedTypeMirror annotatedTypeMirror)
- Specified by:
visitIdentifier
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
- Overrides:
visitIdentifier
in classcom.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
-
visitMemberSelect
public java.lang.Void visitMemberSelect(com.sun.source.tree.MemberSelectTree tree, AnnotatedTypeMirror type)
- Specified by:
visitMemberSelect
in interfacecom.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
- Overrides:
visitMemberSelect
in classcom.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
-
-