checkers.util
Class QualifierDefaults

java.lang.Object
  checkers.util.QualifierDefaults

public class QualifierDefaults
extends Object

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

See Also:

DefaultQualifier

Constructor Summary

QualifierDefaults(AnnotatedTypeFactory factory, AnnotationUtils annoFactory)

Method Summary

void	annotate(Element elt, AnnotatedTypeMirror type) Applies default annotations to a type given an Element.
void	annotate(Tree tree, AnnotatedTypeMirror type) Applies default annotations to a type given a Tree.
void	setAbsoluteDefaults(AnnotationMirror absoluteDefaultAnno, Set<DefaultLocation> locations) Sets the absolute default annotation in case a class does specify a default

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

setAbsoluteDefaults

public void setAbsoluteDefaults(AnnotationMirror absoluteDefaultAnno,
                                Set<DefaultLocation> locations)

Sets the absolute default annotation in case a class does specify a default

annotate

public void annotate(Element elt,
                     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(Tree tree,
                     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