Annotation Interface MayReleaseLocks
@Documented
@Retention(RUNTIME)
@Target({METHOD,CONSTRUCTOR})
@InheritedAnnotation
public @interface MayReleaseLocks
The method, or one of the methods it calls, might release locks that were held prior to the
method being called. You can write this when you are certain the method releases locks, or when
you don't know whether the method releases locks.
- See Also:
- See the Checker Framework Manual:
- Lock Checker, Example use of @MayReleaseLocks, Annotating libraries