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:

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(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(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, 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(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

defaultAction

public Void defaultAction(Tree tree,
 AnnotatedTypeMirror type)

Overrides:

defaultAction in class ListTreeAnnotator