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:

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:

ImplicitsTreeAnnotator, PropagationTreeAnnotator

Field Summary

Fields

Modifier and Type	Field and Description
protected 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 and Description
ListTreeAnnotator(List<TreeAnnotator> annotators)
ListTreeAnnotator(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

Field Detail

annotators

protected final List<TreeAnnotator> annotators

Constructor Detail

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 Detail

defaultAction

public Void defaultAction(Tree node,
                          AnnotatedTypeMirror type)

Overrides:

defaultAction in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>