Package com.facebook.infer.annotation

Annotation Type Cleanup

@Retention(CLASS)
@Target({TYPE,FIELD,CONSTRUCTOR,METHOD})
public @interface Cleanup

A method annotated with @Cleanup should always be permitted to nullify fields, even if they are not nullable. Combined with the @Initializer annotation, this allows devs to specify acquire/release methods.