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>
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
atypeFactoryFields inherited from class com.sun.source.util.SimpleTreeVisitor
DEFAULT_VALUE -
Constructor Summary
ConstructorsConstructorDescriptionDependentTypesTreeAnnotator(AnnotatedTypeFactory atypeFactory, DependentTypesHelper helper) -
Method Summary
Modifier and TypeMethodDescriptionvisitClass(ClassTree tree, AnnotatedTypeMirror annotatedTypeMirror) visitIdentifier(IdentifierTree tree, AnnotatedTypeMirror annotatedTypeMirror) visitMemberSelect(MemberSelectTree tree, AnnotatedTypeMirror type) visitNewArray(NewArrayTree tree, AnnotatedTypeMirror annotatedType) visitTypeCast(TypeCastTree tree, AnnotatedTypeMirror annotatedType) visitVariable(VariableTree tree, AnnotatedTypeMirror annotatedTypeMirror) Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator
log, visitBinary, visitMethodMethods inherited from class com.sun.source.util.SimpleTreeVisitor
defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitAnyPattern, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBindingPattern, visitBlock, visitBreak, visitCase, visitCatch, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitConstantCaseLabel, visitContinue, visitDeconstructionPattern, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMethodInvocation, visitModifiers, visitModule, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPatternCaseLabel, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitStringTemplate, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitWhileLoop, visitWildcard, visitYield
-
Constructor Details
-
DependentTypesTreeAnnotator
-
-
Method Details
-
visitClass
- Specified by:
visitClassin interfaceTreeVisitor<Void,AnnotatedTypeMirror> - Overrides:
visitClassin classSimpleTreeVisitor<Void,AnnotatedTypeMirror>
-
visitNewArray
- Specified by:
visitNewArrayin interfaceTreeVisitor<Void,AnnotatedTypeMirror> - Overrides:
visitNewArrayin classSimpleTreeVisitor<Void,AnnotatedTypeMirror>
-
visitTypeCast
- Specified by:
visitTypeCastin interfaceTreeVisitor<Void,AnnotatedTypeMirror> - Overrides:
visitTypeCastin classSimpleTreeVisitor<Void,AnnotatedTypeMirror>
-
visitVariable
- Specified by:
visitVariablein interfaceTreeVisitor<Void,AnnotatedTypeMirror> - Overrides:
visitVariablein classSimpleTreeVisitor<Void,AnnotatedTypeMirror>
-
visitIdentifier
- Specified by:
visitIdentifierin interfaceTreeVisitor<Void,AnnotatedTypeMirror> - Overrides:
visitIdentifierin classSimpleTreeVisitor<Void,AnnotatedTypeMirror>
-
visitMemberSelect
- Specified by:
visitMemberSelectin interfaceTreeVisitor<Void,AnnotatedTypeMirror> - Overrides:
visitMemberSelectin classSimpleTreeVisitor<Void,AnnotatedTypeMirror>
-