Class DebugListTreeAnnotator
- java.lang.Object
-
- com.sun.source.util.SimpleTreeVisitor<java.lang.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<java.lang.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
-
-
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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.Void
defaultAction(com.sun.source.tree.Tree tree, AnnotatedTypeMirror type)
-
Methods inherited from class org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
toString
-
Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator
log, visitBinary, visitMethod
-
Methods inherited from class com.sun.source.util.SimpleTreeVisitor
visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard
-
-
-
-
Constructor Detail
-
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 forannotators
- the annotators for ListTreeAnnotator
-
-
Method Detail
-
defaultAction
public java.lang.Void defaultAction(com.sun.source.tree.Tree tree, AnnotatedTypeMirror type)
- Overrides:
defaultAction
in classListTreeAnnotator
-
-