org.checkerframework.framework.type.typeannotator

Class IrrelevantTypeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.typeannotator.TypeAnnotator

org.checkerframework.framework.type.typeannotator.IrrelevantTypeAnnotator

All Implemented Interfaces:

AnnotatedTypeVisitor<java.lang.Void,java.lang.Void>

public class IrrelevantTypeAnnotator
extends TypeAnnotator

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

Field Summary

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
IrrelevantTypeAnnotator(AnnotatedTypeFactory typeFactory, java.util.Set<? extends javax.lang.model.element.AnnotationMirror> annotations, java.lang.Class<?>[] relevantClasses) 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 and Description
protected java.lang.Void	scan(AnnotatedTypeMirror type, java.lang.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 Detail

IrrelevantTypeAnnotator

public IrrelevantTypeAnnotator(AnnotatedTypeFactory typeFactory,
                               java.util.Set<? extends javax.lang.model.element.AnnotationMirror> annotations,
                               java.lang.Class<?>[] relevantClasses)

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

relevantClasses - types that should not be annotated with annotationMirror

Method Detail

scan

protected java.lang.Void scan(AnnotatedTypeMirror type,
                              java.lang.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<java.lang.Void,java.lang.Void>

Parameters:

type - type to scan

aVoid - the parameter to use

Returns:

the result of visiting type