checkers.nullness.quals
Annotation Type Covariant

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

TODO: doc. A marker annotation to signify that the type argument corresponding to the annotated type variable can safely ignore KeyFor annotations. The prime example is Map.Entry. It is not checked whether the annotated class is immutable. The value is the set of zero-based indices of the type parameters that should be covariant. TODO: move to a different package?

Required Element Summary

Modifier and Type	Required Element and Description
int[]	value

Element Detail

value

public abstract int[] value