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

• DefaultForTypeAnnotator
• PropagationTypeAnnotator

Nested Class Summary

Nested classes/interfaces inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

AnnotatedTypeScanner.Reduce<R>

Field Summary

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

atypeFactory

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

defaultResult, reduceFunction, visitedNodes

Constructor Summary

Constructors

Constructor	Description
ListTypeAnnotator(List<TypeAnnotator> annotators)
ListTypeAnnotator(TypeAnnotator... annotators)	Create a new ListTypeAnnotator.

Method Summary

Modifier and Type	Method	Description
protected Void	scan(AnnotatedTypeMirror type, Void aVoid)	Scan type by calling type.accept(this, p); this method may be overridden by subclasses.
String	toString()

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, wait, wait, wait

Constructor Details

ListTypeAnnotator

public ListTypeAnnotator(TypeAnnotator... annotators)

Create a new ListTypeAnnotator.

Parameters:

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

ListTypeAnnotator

public ListTypeAnnotator(List<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 Details

scan

protected Void scan(AnnotatedTypeMirror type,
 Void aVoid)

Description copied from class: AnnotatedTypeScanner

Scan type by calling type.accept(this, p); this method may be overridden by subclasses.

Overrides:

scan in class AnnotatedTypeScanner<Void,Void>

Parameters:

type - type to scan

aVoid - the parameter to use

Returns:

the result of visiting type

toString

public String toString()

Overrides:

toString in class Object