Package org.checkerframework.framework.type.typeannotator

Class IrrelevantTypeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.typeannotator.TypeAnnotator

org.checkerframework.framework.type.typeannotator.IrrelevantTypeAnnotator

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,Void>

public class IrrelevantTypeAnnotator
extends TypeAnnotator

Adds annotations to types that are not relevant specified by the RelevantJavaTypes on a checker.

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

typeFactory

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

defaultResult, reduceFunction, visitedNodes

Constructor Summary

Constructors

Constructor	Description
IrrelevantTypeAnnotator(GenericAnnotatedTypeFactory typeFactory, Set<? extends AnnotationMirror> annotations)	Annotate every type with the annotationMirror except for those whose underlying Java type is one of (or a subtype of) a class in relevantClasses.

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.

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

Constructor Details

IrrelevantTypeAnnotator

public IrrelevantTypeAnnotator(GenericAnnotatedTypeFactory typeFactory,
 Set<? extends AnnotationMirror> annotations)

Annotate every type with the annotationMirror except for those whose underlying Java type is one of (or a subtype of) a class in relevantClasses. (Only adds annotationMirror if no annotation in the hierarchy are already on the type.) If relevantClasses includes Object[].class, then all arrays are considered relevant.

Parameters:

typeFactory - AnnotatedTypeFactory

annotations - annotations to add

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