org.checkerframework.javacutil

Interface AnnotationProvider

All Known Implementing Classes:

AliasingAnnotatedTypeFactory, AnnotatedTypeFactory, BaseAnnotatedTypeFactory, BasicAnnotationProvider, ClassValAnnotatedTypeFactory, CompilerMessagesAnnotatedTypeFactory, FenumAnnotatedTypeFactory, FormatterAnnotatedTypeFactory, GeneralAnnotatedTypeFactory, GenericAnnotatedTypeFactory, GuiEffectTypeFactory, I18nAnnotatedTypeFactory, I18nFormatterAnnotatedTypeFactory, IGJAnnotatedTypeFactory, ImmutabilityAnnotatedTypeFactory, InitializationAnnotatedTypeFactory, InterningAnnotatedTypeFactory, JavariAnnotatedTypeFactory, KeyForAnnotatedTypeFactory, LinearAnnotatedTypeFactory, LocalizableKeyAnnotatedTypeFactory, LockAnnotatedTypeFactory, MethodValAnnotatedTypeFactory, NullnessAnnotatedTypeFactory, OwnershipAnnotatedTypeFactory, PropertyKeyAnnotatedTypeFactory, PurityAnnotatedTypeFactory, RegexClassicAnnotatedTypeFactory, SignatureAnnotatedTypeFactory, SubtypingAnnotatedTypeFactory, TaintingClassicAnnotatedTypeFactory, UnitsAnnotatedTypeFactory, ValueAnnotatedTypeFactory

public interface AnnotationProvider

An implementation of AnnotationProvider returns annotations on Java AST elements.

Method Summary

Modifier and Type	Method and Description
AnnotationMirror	getAnnotationMirror(Tree tree, Class<? extends Annotation> target) Return the annotation on tree that has the class target.
AnnotationMirror	getDeclAnnotation(Element elt, Class<? extends Annotation> anno) Returns the actual annotation mirror used to annotate this type, whose name equals the passed annotationName if one exists, null otherwise.

Method Detail

getDeclAnnotation

AnnotationMirror getDeclAnnotation(Element elt,
                                   Class<? extends Annotation> anno)

Returns the actual annotation mirror used to annotate this type, whose name equals the passed annotationName if one exists, null otherwise.

Parameters:

anno - annotation class

Returns:

the annotation mirror for anno

getAnnotationMirror

AnnotationMirror getAnnotationMirror(Tree tree,
                                     Class<? extends Annotation> target)

Return the annotation on tree that has the class target. If no annotation for the given target class exists, the result is null

Parameters:

tree - The tree of which the annotation is returned

target - The class of the annotation