org.checkerframework.checker.nullness.qual

Annotation Type Nullable

@SubtypeOf(value={})
 @DefaultFor(types=java.lang.Void.class)
 @DefaultInUncheckedCodeFor(value={RETURN,UPPER_BOUND})
 @Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface Nullable

Nullable is a type annotation that indicates that the value is not known to be non-null (see NonNull). Only if an expression has a Nullable type may it be assigned null.

This annotation is associated with the AbstractNullnessChecker.

See Also:

NonNull, MonotonicNonNull, AbstractNullnessChecker

See the Checker Framework Manual:

Nullness Checker