checkers.nullness.quals
Annotation Type NonRaw

@Documented
@Retention(value=RUNTIME)
@TypeQualifier
@DefaultQualifierInHierarchy
@SubtypeOf(value=Raw.class)
public @interface NonRaw

A method receiver annotation that indicates that 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 annotation is associated with the NullnessChecker.

See Also:

NonNull, NullnessChecker

checker.framework.manual

#nullness-checker Nullness Checker