Top Description Methods
org.checkerframework.framework.qual

public @Interface NoQualifierParameter

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE
@Inherited
Imports
java.lang.annotation.Annotation, .Documented, .ElementType, .Inherited, .Retention, .RetentionPolicy, .Target
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

Method Summary

Modifier and TypeMethod and Description
public Class<? extends Annotation>[]

Returns:

the value
value()

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

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString

Method Detail

valueback to summary
public Class<? extends Annotation>[] value()

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

Returns:Class<? extends Annotation>[]

the value