Class ListTreeAnnotator
- java.lang.Object
-
- com.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
-
- org.checkerframework.framework.type.treeannotator.TreeAnnotator
-
- org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
-
- All Implemented Interfaces:
com.sun.source.tree.TreeVisitor<java.lang.Void,AnnotatedTypeMirror>
- Direct Known Subclasses:
DebugListTreeAnnotator
public class ListTreeAnnotator extends TreeAnnotator
ListTreeAnnotator is a TreeVisitor that executes a list ofTreeAnnotator
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 java.util.List<TreeAnnotator>
annotators
-
Fields inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator
atypeFactory
-
-
Constructor Summary
Constructors Constructor Description ListTreeAnnotator(java.util.List<TreeAnnotator> annotators)
ListTreeAnnotator(TreeAnnotator... annotators)
-
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)
java.lang.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, 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
-
-
-
-
Field Detail
-
annotators
protected final java.util.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(java.util.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 java.lang.Void defaultAction(com.sun.source.tree.Tree tree, AnnotatedTypeMirror type)
- Overrides:
defaultAction
in classcom.sun.source.util.SimpleTreeVisitor<java.lang.Void,AnnotatedTypeMirror>
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-