checkers.nullness.quals

Annotation Type Raw

public @interface Raw

An annotation that indicates that the object may not be fully initialized. In particular, non-null fields might be null within the body of the method, e.g., if this is Raw, this.field might be null even if field was declared to be NonNull. This can happen because the code where the initializer sets field has not yet been executed.

Suppose the @Raw annotation is placed on type T. Then fields declared in T and any subclasses might not yet be initialized, but fields declared in superclasses of T have already been initialized.

This annotation is associated with the NullnessChecker.

See Also:

NonRaw, NonNull, NullnessChecker

See the Checker Framework manual:

Nullness Checker