Package org.checkerframework.framework.type.treeannotator

Class ListTreeAnnotator

java.lang.Object
com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>
org.checkerframework.framework.type.treeannotator.TreeAnnotator
org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
All Implemented Interfaces:
com.sun.source.tree.TreeVisitor<Void,AnnotatedTypeMirror>
Direct Known Subclasses:
DebugListTreeAnnotator
public class ListTreeAnnotator extends TreeAnnotator
ListTreeAnnotator is a TreeVisitor that executes a list of TreeAnnotator for each tree visited.

Checkers should not extend ListTreeAnnotator; they should instead pass a custom TreeAnnotator to the constructor.

See Also:

  • Field Summary

    Fields
    Modifier and Type
    Field
    Description
    protected final List<TreeAnnotator>
    annotators
     

    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
    ListTreeAnnotator(List<TreeAnnotator> annotators)
     
    ListTreeAnnotator(TreeAnnotator... annotators)
     

  • Method Summary

    Modifier and Type
    Method
    Description
    Void
    defaultAction(com.sun.source.tree.Tree node, AnnotatedTypeMirror type)
     
    String
    toString()
     

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

    visitBinary, visitMethod

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

    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, visitLiteral, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitNewClass, 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, wait, wait, wait

  • Field Details

  • Constructor Details

    • ListTreeAnnotator

      public ListTreeAnnotator(TreeAnnotator... annotators)
      Parameters:
      annotators - the annotators that will be executed for each tree scanned by this TreeAnnotator. They are executed in the order passed in.

    • ListTreeAnnotator

      public ListTreeAnnotator(List<TreeAnnotator> annotators)
      Parameters:
      annotators - the annotators that will be executed for each tree scanned by this TreeAnnotator. They are executed in the order passed in.

  • Method Details