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 and Description
DebugListTreeAnnotator(Tree.Kind[] kinds, TreeAnnotator... annotators)
DebugListTreeAnnotator(TreeAnnotator... annotators)

Method Summary

Modifier and Type	Method and Description
Void	defaultAction(Tree node, AnnotatedTypeMirror type)

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, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitNewArray, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitVariable, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

DebugListTreeAnnotator

public DebugListTreeAnnotator(TreeAnnotator... annotators)

DebugListTreeAnnotator

public DebugListTreeAnnotator(Tree.Kind[] kinds,
                              TreeAnnotator... annotators)

Method Detail

defaultAction

public Void defaultAction(Tree node,
                          AnnotatedTypeMirror type)

Overrides:

defaultAction in class ListTreeAnnotator