org.checkerframework.checker.mustcall.qual

Annotation Type NotOwning

@Retention(value=RUNTIME)
 @Target(value={METHOD,PARAMETER,FIELD})
public @interface NotOwning

Annotation indicating that ownership should not be transferred to the annotated parameter, field, or method's call sites, for the purposes of Must Call checking. For a full description of the semantics, see the documentation of Owning.

Parameters and fields are treated as if they have this annotation by default unless they have Owning.

When the -AnoLightweightOwnership command-line argument is passed to the checker, this annotation and Owning are ignored.

See the Checker Framework Manual:

Resource Leak Checker