checkers.quals
Annotation Type PolymorphicQualifier


@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 Also:
PolyNull, PolyInterned, QualifierPolymorphism