checkers.util
Class QualifierDefaults

java.lang.Object
  extended by 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