checkers.nullness.quals

Annotation Type NonRaw

public @interface NonRaw

An annotation that indicates a type that contains an initialized object — that is, the object's constructor has completed, either in full or in part.

When no argument is given, as in @NonRaw, then the object is fully initialized; this is the default, so there is little need for a programmer to write this explicitly.

When an argument is given, as in @NonRaw(MyClass.class), then the object's MyClass constructor has completed. All @NonNull fields declared in MyClass or in any of its superclasses have a non-null value. Thus, when a constructor in class C completes, this has type @NonRaw(C.class) C.

This annotation is associated with the NullnessChecker.

See Also:

Raw, NonNull, NullnessChecker

See the Checker Framework manual:

Nullness Checker