Annotation 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.
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 and Owning are ignored.
- See the Checker Framework Manual:
- Resource Leak Checker