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>
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:
-
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
atypeFactoryFields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
defaultResult, reduceFunction, visitedNodes -
Constructor Summary
ConstructorsConstructorDescriptionListTypeAnnotator(List<TypeAnnotator> annotators) ListTypeAnnotator(TypeAnnotator... annotators) Create a new ListTypeAnnotator. -
Method Summary
Methods inherited from class org.checkerframework.framework.type.typeannotator.TypeAnnotator
visitExecutableMethods 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
-
Constructor Details
-
ListTypeAnnotator
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
- 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
Description copied from class:AnnotatedTypeScannerScantypeby callingtype.accept(this, p); this method may be overridden by subclasses.- Overrides:
scanin classAnnotatedTypeScanner<Void,Void> - Parameters:
type- type to scanaVoid- the parameter to use- Returns:
- the result of visiting
type
-
toString
-