Package 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:

• LiteralTreeAnnotator
• PropagationTreeAnnotator

Field Summary

Fields

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

Method Summary

Modifier and Type	Method	Description
Void	defaultAction(Tree tree, AnnotatedTypeMirror type)
String	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

Field Details

annotators

protected final List<TreeAnnotator> annotators

Constructor Details

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 Details

defaultAction

public Void defaultAction(Tree tree,
 AnnotatedTypeMirror type)

Overrides:

defaultAction in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

toString

public String toString()

Overrides:

toString in class Object