@Documented
@Retention(value=RUNTIME)
@InheritedAnnotation
@Target(value={METHOD,CONSTRUCTOR})
public @interface MayReleaseLocks
It is unknown whether the method, or one of the methods it calls, releases
locks that were held prior to the method being called.
- See Also:
ReleasesNoLocks
,
LockingFree
,
SideEffectFree
,
Pure
- See the Checker Framework Manual:
- Lock Checker, Example use of @MayReleaseLocks, Annotating libraries