org.checkerframework.javacutil

Class BasicAnnotationProvider

java.lang.Object

org.checkerframework.javacutil.BasicAnnotationProvider

All Implemented Interfaces:

AnnotationProvider

public class BasicAnnotationProvider
extends Object
implements AnnotationProvider

Constructor Summary

Constructors

Constructor and Description
BasicAnnotationProvider()

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

BasicAnnotationProvider

public BasicAnnotationProvider()

Method Detail

getDeclAnnotation

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

Description copied from interface: AnnotationProvider

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

Specified by:

getDeclAnnotation in interface AnnotationProvider

anno - annotation class

Returns:

the annotation mirror for anno

getAnnotationMirror

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

Description copied from interface: AnnotationProvider

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

Specified by:

getAnnotationMirror in interface AnnotationProvider

Parameters:

tree - The tree of which the annotation is returned

target - The class of the annotation