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