checkers.nullness.quals
Annotation Type NonNull


@Documented
@Retention(value=RUNTIME)
@Target(value={FIELD,LOCAL_VARIABLE,METHOD,PARAMETER,TYPE})
@TypeQualifier
@SubtypeOf(value=Raw.class)
public @interface NonNull

Indicates that a variable should never have a null value.

This annotation is associated with the NullnessChecker.

See Also:
Nullable, NullnessChecker
See the checkers manual:
Nullness Checker