org.checkerframework.checker.objectconstruction.qual

Annotation Type Owning

@Retention(value=RUNTIME)
 @Target(value={METHOD,PARAMETER,FIELD})
public @interface Owning

Annotation indicating ownership should be transferred to the parameter or field, for the purposes of MustCall checking.