org.checkerframework.checker.nullness.compatqual

Annotation Type MonotonicNonNullDecl

@Documented
 @Retention(value=RUNTIME)
public @interface MonotonicNonNullDecl

Java 7 compatibility annotation without dependency on Java 8 classes.

See Also:

MonotonicNonNull

See the Checker Framework Manual:

Nullness Checker