org.checkerframework.checker.nullness.qual

Annotation Type Covariant

Deprecated.

@Deprecated
 @Documented
 @Target(value=TYPE)
 @Retention(value=RUNTIME)
public @interface Covariant

Deprecated! See Covariant instead.

See the Checker Framework Manual:

Covariant type parameters

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
int[]	value Deprecated.

Element Detail

value

public abstract int[] value

Deprecated.