checkers.util
Class QualifierDefaults

java.lang.Object
  checkers.util.QualifierDefaults

public class QualifierDefaults
extends Object

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

See Also:

Default

Constructor Summary

QualifierDefaults(AnnotatedTypeFactory factory, AnnotationFactory 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.

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,
                         AnnotationFactory annoFactory)

Parameters:

factory - the factory for this checker

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

Method Detail

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