checkers.nullness.quals
Annotation Type NonNull

@Documented
@Retention(value=RUNTIME)
@TypeQualifier
@SubtypeOf(value=LazyNonNull.class)
public @interface NonNull

Indicates that a variable should never have a null value.

This annotation is rarely written in source code, because it is the default.

This annotation is associated with the NullnessChecker.

See Also:

Nullable, NullnessChecker

See the Checker Framework manual:

Nullness Checker