checkers.util

Class QualifierDefaults

@NonNull java.lang.Object

checkers.util.QualifierDefaults

public class QualifierDefaults
extends @NonNull Object

Determines the default qualifiers on a type. Default qualifiers are specified via the DefaultQualifier annotation.

See Also:

DefaultQualifier

Constructor Summary

Constructors

Constructor and Description
QualifierDefaults(AnnotatedTypeFactory factory, AnnotationUtils annoFactory)

Method Summary

Methods

Modifier and Type	Method and Description
void	addAbsoluteDefault(@Nullable AnnotationMirror absoluteDefaultAnno, Set<DefaultLocation> locations) Sets the default annotation.
void	annotate(@Nullable Element elt, @Mutable AnnotatedTypeMirror type) Applies default annotations to a type given an Element.
void	annotate(@Nullable Tree tree, @Mutable AnnotatedTypeMirror type) Applies default annotations to a type given a Tree.
void	annotateTypeElement(TypeElement elt, @Mutable AnnotatedTypeMirror type)
void	setLocalVariableDefault(Set<@Nullable AnnotationMirror> localannos)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

QualifierDefaults

public QualifierDefaults(AnnotatedTypeFactory factory,
                 AnnotationUtils annoFactory)

Parameters:

factory - the factory for this checker

annoFactory - an annotation factory, used to get annotations by name

Method Detail

addAbsoluteDefault

public void addAbsoluteDefault(@Nullable AnnotationMirror absoluteDefaultAnno,
                      Set<DefaultLocation> locations)

Sets the default annotation. A programmer may override this by writing the @DefaultQualifier annotation.

setLocalVariableDefault

public void setLocalVariableDefault(Set<@Nullable AnnotationMirror> localannos)

annotateTypeElement

public void annotateTypeElement(TypeElement elt,
                       @Mutable AnnotatedTypeMirror type)

annotate

public void annotate(@Nullable Element elt,
            @Mutable AnnotatedTypeMirror type)

Applies default annotations to a type given an Element.

Parameters:

elt - the element from which the type was obtained

type - the type to annotate

annotate

public void annotate(@Nullable Tree tree,
            @Mutable AnnotatedTypeMirror type)

Applies default annotations to a type given a Tree.

Parameters:

tree - the tree from which the type was obtained

type - the type to annotate