Top Description Methods
org.checkerframework.checker.mustcall.qual

public @Interface NotOwning

extends Annotation
Annotations
@Retention:RUNTIME
@Target:METHOD, PARAMETER, FIELD
Imports
java.lang.annotation.ElementType, .Retention, .RetentionPolicy, .Target

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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString