org.checkerframework.checker.nullness.qual

Annotation Type NonRaw

@SubtypeOf(value=Raw.class)
 @DefaultQualifierInHierarchy
 @DefaultFor(value={IMPLICIT_UPPER_BOUND,IMPLICIT_LOWER_BOUND,EXCEPTION_PARAMETER})
 @Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface NonRaw

This type qualifier belongs to the rawness initialization tracking type-system. This type-system is not used on its own, but in conjunction with some other type-system that wants to ensure safe initialization. For instance, NullnessRawnessChecker uses rawness to track initialization of NonNull fields.

This type qualifier indicates that the object has been fully initialized; reading fields from such objects is fully safe and yields objects of the correct type.

See the Checker Framework Manual:

Nullness Checker