org.checkerframework.framework.type.typeannotator

Class ListTypeAnnotator

java.lang.Object

org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,Void>

org.checkerframework.framework.type.typeannotator.TypeAnnotator

org.checkerframework.framework.type.typeannotator.ListTypeAnnotator

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,Void>

public final class ListTypeAnnotator
extends TypeAnnotator

ListTypeAnnotator is a TypeAnnotator that executes a list of TypeAnnotator for each type visited. Checkers should not extend ListTypeAnnotator; they should instead pass a custom TypeAnnotator to the constructor.

See Also:

ImplicitsTypeAnnotator, PropagationTypeAnnotator

Field Summary

Fields

Modifier and Type	Field and Description
protected List<TypeAnnotator>	annotators

Fields inherited from class org.checkerframework.framework.type.typeannotator.TypeAnnotator

typeFactory

Fields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

visitedNodes

Constructor Summary

Constructors

Constructor and Description
ListTypeAnnotator(TypeAnnotator... annotators)

Method Summary

Modifier and Type	Method and Description
protected Void	scan(AnnotatedTypeMirror type, Void aVoid) Processes an element by calling e.accept(this, p); this method may be overridden by subclasses.

Methods inherited from class org.checkerframework.framework.type.typeannotator.TypeAnnotator

visitExecutable

Methods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

reduce, reset, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitDeclared, visitIntersection, visitNoType, visitNull, visitPrimitive, visitTypeVariable, visitUnion, 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<TypeAnnotator> annotators

Constructor Detail

ListTypeAnnotator

public ListTypeAnnotator(TypeAnnotator... annotators)

Parameters:

annotators - the annotators that will be executed for each type scanned by this TypeAnnotator. They are executed in the order passed in.

Method Detail

scan

protected Void scan(AnnotatedTypeMirror type,
                    Void aVoid)

Description copied from class: AnnotatedTypeScanner

Processes an element by calling e.accept(this, p); this method may be overridden by subclasses.

Overrides:

scan in class AnnotatedTypeScanner<Void,Void>

Returns:

the result of visiting type