Package org.checkerframework.framework.type.treeannotator

Class DebugListTreeAnnotator

java.lang.Object
com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>
org.checkerframework.framework.type.treeannotator.TreeAnnotator
org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
All Implemented Interfaces:
com.sun.source.tree.TreeVisitor<Void,AnnotatedTypeMirror>
public class DebugListTreeAnnotator extends ListTreeAnnotator
A ListTreeAnnotator implementation that additionally outputs debugging information.

  • Field Summary

    Fields inherited from class org.checkerframework.framework.type.treeannotator.ListTreeAnnotator

    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
    DebugListTreeAnnotator(com.sun.source.tree.Tree.Kind[] kinds, TreeAnnotator... annotators)
    Constructs a DebugListTreeAnnotator that outputs debug for the given tree kinds.
    DebugListTreeAnnotator(TreeAnnotator... annotators)
    Constructs a DebugListTreeAnnotator that does not output any debug information.

  • Method Summary

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

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

    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

  • Constructor Details

    • DebugListTreeAnnotator

      public DebugListTreeAnnotator(TreeAnnotator... annotators)
      Constructs a DebugListTreeAnnotator that does not output any debug information.
      Parameters:
      annotators - the annotators for ListTreeAnnotator

    • DebugListTreeAnnotator

      public DebugListTreeAnnotator(com.sun.source.tree.Tree.Kind[] kinds, TreeAnnotator... annotators)
      Constructs a DebugListTreeAnnotator that outputs debug for the given tree kinds.
      Parameters:
      kinds - the tree kinds to output debug info for
      annotators - the annotators for ListTreeAnnotator

  • Method Details