Annotation 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