org.checkerframework.framework.qual

Annotation Type NoQualifierParameter

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

This is a declaration annotation that applies to type declarations. Some classes conceptually take a type qualifier parameter. This annotations indicates that this class explicitly does not do so. If HasQualifierParameter is enabled by default, for example, by writing HasQualifierParameter on a package, then this annotation can disable it for a specific class.

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.

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