org.checkerframework.framework.qual

Annotation Type PolymorphicQualifier

@Documented
 @Target(value=ANNOTATION_TYPE)
 @Retention(value=RUNTIME)
public @interface PolymorphicQualifier

A meta-annotation that indicates that an annotation is a polymorphic type qualifier.

Any method written using a polymorphic type qualifier conceptually has two or more versions — one version for each qualifier in the qualifier hierarchy. In each version of the method, all instances of the polymorphic type qualifier are replaced by one of the other type qualifiers.

See the Checker Framework Manual:

Qualifier polymorphism

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
Class<? extends Annotation>	value Usually, you can write @PolymorphicQualifier without an argument.

Element Detail

value

public abstract Class<? extends Annotation> value

Usually, you can write @PolymorphicQualifier without an argument. When multiple type hierarchies are supported by a single type system, then each polymorphic qualifier needs to indicate which sub-hierarchy it belongs to. Do so by passing a qualifier from the given hierarchy, by convention the top qualifier.

Default:

org.checkerframework.framework.qual.PolymorphicQualifier.class