Package com.facebook.infer.annotation

Annotation Type ReturnsOwnership

@Target(METHOD)
@Retention(CLASS)
public @interface ReturnsOwnership

Tell the thread-safety analysis that this method transfers ownership of its return value to its caller. Ownership means that the caller is allowed to both read and write the value outside of synchronization. The annotated method should not retain any references to the value. This annotation is trusted for now, but may be checked eventually.