Annotation Type NotOwning
-
@Retention(RUNTIME) @Target({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 ofOwning
.Formal parameters and fields are
NotOwning
by default. Method return types are@Owning
by default. Constructor results are always@Owning
.When the
-AnoLightweightOwnership
command-line argument is passed to the checker, this annotation andOwning
are ignored.- See the Checker Framework Manual:
- Resource Leak Checker