Package org.checkerframework.checker.initialization

Class InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator

java.lang.Object
com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>
org.checkerframework.framework.type.treeannotator.TreeAnnotator
org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
All Implemented Interfaces:
com.sun.source.tree.TreeVisitor<Void,AnnotatedTypeMirror>
Enclosing class:
InitializationAnnotatedTypeFactory<Value extends CFAbstractValue<Value>,Store extends InitializationStore<Value,Store>,Transfer extends InitializationTransfer<Value,Transfer,Store>,Flow extends CFAbstractAnalysis<Value,Store,Transfer>>
protected class InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator extends TreeAnnotator

  • 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
    CommitmentTreeAnnotator(InitializationAnnotatedTypeFactory<?,?,?,?> atypeFactory)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    Void
    visitLiteral(com.sun.source.tree.LiteralTree tree, AnnotatedTypeMirror type)
     
    Void
    visitMemberSelect(com.sun.source.tree.MemberSelectTree node, AnnotatedTypeMirror annotatedTypeMirror)
     
    Void
    visitMethod(com.sun.source.tree.MethodTree node, AnnotatedTypeMirror p)
    This method is not called when checking a method invocation against its declaration.
    Void
    visitNewClass(com.sun.source.tree.NewClassTree node, AnnotatedTypeMirror p)
     

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

    visitBinary

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

    defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBindingPattern, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitGuardedPattern, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitMemberReference, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitParenthesizedPattern, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard, visitYield

    Methods inherited from class java.lang.Object

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

  • Constructor Details

  • Method Details

    • visitMethod

      public Void visitMethod(com.sun.source.tree.MethodTree node, AnnotatedTypeMirror p)
      Description copied from class: TreeAnnotator
      This method is not called when checking a method invocation against its declaration. So, instead of overriding this method, override TypeAnnotator.visitExecutable. TypeAnnotator.visitExecutable is called both when checking method declarations and method invocations.
      Specified by:
      visitMethod in interface com.sun.source.tree.TreeVisitor<Void,AnnotatedTypeMirror>
      Overrides:
      visitMethod in class TreeAnnotator
      See Also:

    • visitNewClass

      public Void visitNewClass(com.sun.source.tree.NewClassTree node, AnnotatedTypeMirror p)
      Specified by:
      visitNewClass in interface com.sun.source.tree.TreeVisitor<Void,AnnotatedTypeMirror>
      Overrides:
      visitNewClass in class com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>

    • visitLiteral

      public Void visitLiteral(com.sun.source.tree.LiteralTree tree, AnnotatedTypeMirror type)
      Specified by:
      visitLiteral in interface com.sun.source.tree.TreeVisitor<Void,AnnotatedTypeMirror>
      Overrides:
      visitLiteral in class com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>

    • visitMemberSelect

      public Void visitMemberSelect(com.sun.source.tree.MemberSelectTree node, AnnotatedTypeMirror annotatedTypeMirror)
      Specified by:
      visitMemberSelect in interface com.sun.source.tree.TreeVisitor<Void,AnnotatedTypeMirror>
      Overrides:
      visitMemberSelect in class com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>