checkers.nullness.quals
Annotation Type LazyNonNull

@Documented
@Retention(value=RUNTIME)
@Target(value=FIELD)
@TypeQualifier
@SubtypeOf(value=Nullable.class)
public @interface LazyNonNull

Indicates that a field is lazily initialized. Lazily initialized fields have these two property:

1. The field may not be initialized in the constructor
2. A variable may only be assigned to other nonnull references. An implication of this premise is that once the field is initialized, it may never be null again.

This annotation is associated with the NullnessChecker.

See Also:

Nullable, NullnessChecker

See the checkers manual:

Nullness Checker