org.checkerframework.framework.type.typeannotator

Class DefaultQualifierForUseTypeAnnotator

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.DefaultQualifierForUseTypeAnnotator

All Implemented Interfaces:

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

public class DefaultQualifierForUseTypeAnnotator
extends TypeAnnotator

Implements support for DefaultQualifierForUse and NoDefaultQualifierForUse.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<javax.lang.model.element.Element,java.util.Set<javax.lang.model.element.AnnotationMirror>>	elementToDefaults Cache of elements to the set of annotations that should be applied to unannotated uses of the element.

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
DefaultQualifierForUseTypeAnnotator(AnnotatedTypeFactory typeFactory) Creates an DefaultQualifierForUseTypeAnnotator for typeFactory

Method Summary

Modifier and Type	Method and Description
void	clearCache() Clears all caches.
protected java.util.Set<javax.lang.model.element.AnnotationMirror>	getDefaultAnnosForUses(javax.lang.model.element.Element element) Returns the set of qualifiers that should be applied to unannotated uses of this element.
protected java.util.Set<javax.lang.model.element.AnnotationMirror>	getExplicitAnnos(javax.lang.model.element.Element element) Return the annotations explicitly written on the element.
protected java.util.Set<javax.lang.model.element.AnnotationMirror>	getHierarchiesNoDefault(javax.lang.model.element.Element element) Returns top annotations in hierarchies for which no default for use qualifier should be added.
protected java.util.Set<javax.lang.model.element.AnnotationMirror>	getSupportAnnosFromDefaultQualifierForUses(javax.lang.model.element.Element element) Return the default qualifiers for uses of element as specified by DefaultQualifierForUse annotation.
protected AnnotationMirrorSet	supportedAnnosFromAnnotationMirror(javax.lang.model.element.AnnotationMirror annotationMirror) Returns the set of qualifiers supported by this type system from the value element of annotationMirror.
java.lang.Void	visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type, java.lang.Void aVoid) Visits a declared type.

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

visitExecutable

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

reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, 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

elementToDefaults

protected java.util.Map<javax.lang.model.element.Element,java.util.Set<javax.lang.model.element.AnnotationMirror>> elementToDefaults

Cache of elements to the set of annotations that should be applied to unannotated uses of the element.

Constructor Detail

DefaultQualifierForUseTypeAnnotator

public DefaultQualifierForUseTypeAnnotator(AnnotatedTypeFactory typeFactory)

Creates an DefaultQualifierForUseTypeAnnotator for typeFactory

Method Detail

visitDeclared

public java.lang.Void visitDeclared(AnnotatedTypeMirror.AnnotatedDeclaredType type,
                                    java.lang.Void aVoid)

Description copied from interface: AnnotatedTypeVisitor

Visits a declared type.

Specified by:

visitDeclared in interface AnnotatedTypeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitDeclared in class AnnotatedTypeScanner<java.lang.Void,java.lang.Void>

Parameters:

type - the type to visit

aVoid - a visitor-specified parameter

Returns:

a visitor-specified result

clearCache

public void clearCache()

Clears all caches.

getDefaultAnnosForUses

protected java.util.Set<javax.lang.model.element.AnnotationMirror> getDefaultAnnosForUses(javax.lang.model.element.Element element)

Returns the set of qualifiers that should be applied to unannotated uses of this element.

getExplicitAnnos

protected java.util.Set<javax.lang.model.element.AnnotationMirror> getExplicitAnnos(javax.lang.model.element.Element element)

Return the annotations explicitly written on the element.

getSupportAnnosFromDefaultQualifierForUses

protected java.util.Set<javax.lang.model.element.AnnotationMirror> getSupportAnnosFromDefaultQualifierForUses(javax.lang.model.element.Element element)

Return the default qualifiers for uses of element as specified by DefaultQualifierForUse annotation.

Subclass may override to use an annotation other than DefaultQualifierForUse.

getHierarchiesNoDefault

protected java.util.Set<javax.lang.model.element.AnnotationMirror> getHierarchiesNoDefault(javax.lang.model.element.Element element)

Returns top annotations in hierarchies for which no default for use qualifier should be added.

supportedAnnosFromAnnotationMirror

protected final AnnotationMirrorSet supportedAnnosFromAnnotationMirror(javax.lang.model.element.AnnotationMirror annotationMirror)

Returns the set of qualifiers supported by this type system from the value element of annotationMirror.

Parameters:

annotationMirror - a non-null annotation with a value element that is an array of annotation classes.

Returns:

the set of qualifiers supported by this type system from the value element of annotationMirror