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:
com.sun.source.tree.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(com.sun.source.tree.ClassTree node, AnnotatedTypeMirror annotatedTypeMirror)
     
    Void
    visitIdentifier(com.sun.source.tree.IdentifierTree node, AnnotatedTypeMirror annotatedTypeMirror)
     
    Void
    visitMemberSelect(com.sun.source.tree.MemberSelectTree node, AnnotatedTypeMirror type)
     
    Void
    visitNewArray(com.sun.source.tree.NewArrayTree node, AnnotatedTypeMirror annotatedType)
     
    Void
    visitTypeCast(com.sun.source.tree.TypeCastTree node, AnnotatedTypeMirror annotatedType)
     
    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, 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