checkers.nullness.quals

Annotation Type Covariant

public @interface Covariant

A marker annotation, written on a class declaration, that signifies that one or more of the class's type parameters can be treated covariantly. For example, if MyClass has a single type parameter that is treated covariantly, and if A is a subtype of B, then SomeClass<A> is a subtype of SomeClass<B>.

Ordinarily, Java treats type parameters invariantly: SomeClass<A> is unrelated to (neither a subtype nor a supertype of) SomeClass<B>.

It is only safe to mark a type parameter as covariant if the type parameter is used in a read-only way: values of that type are read from but never modified. This property is not checked; the @Covariant is simply trusted.

The argument to @Covariant is the zero-based indices of the type parameters that should be treated covariantly.

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
int[]	value

Element Detail

value

public abstract int[] value