org.checkerframework.framework.qual

Annotation Type NoQualifierParameter

@Documented
 @Retention(value=RUNTIME)
 @Target(value=TYPE)
 @Inherited
public @interface NoQualifierParameter

This is a declaration annotation that applies to type declarations. Some classes conceptually take a type qualifier parameter. This annotation indicates that this class and its subclasses explicitly do not do so. The only reason to write this annotation is when HasQualifierParameter is enabled by default, by writing HasQualifierParameter on a package.

When a class is @NoQualifierParameter, all its subclasses are as well.

One or more top qualifiers must be given for the hierarchies for which there are no qualifier parameters. This annotation may not be written on the same class as HasQualifierParameter for the same hierarchy.

It is an error for a superclass to be @HasQualifierParameter but a subclass to be @NoQualifierParameter for the same hierarchy.

See Also:

HasQualifierParameter

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
Class<? extends Annotation>[]	value Class of the top qualifier for the hierarchy for which this class has no qualifier parameter.

Element Detail

value

public abstract Class<? extends Annotation>[] value

Class of the top qualifier for the hierarchy for which this class has no qualifier parameter.

Returns:

the value