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.
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