Package org.checkerframework.framework.qual

Annotation Interface NoQualifierParameter

@Documented @Retention(RUNTIME) @Target(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:

  • Required Element Summary

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

  • Element Details

    • value

      Class<? extends Annotation>[] value
      Class of the top qualifier for the hierarchy for which this class has no qualifier parameter.
      Returns:
      the value