org.checkerframework.checker.lock.qual

Annotation Type MayReleaseLocks

@Documented
 @Retention(value=RUNTIME)
 @InheritedAnnotation
 @Target(value={METHOD,CONSTRUCTOR})
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:

ReleasesNoLocks, LockingFree, SideEffectFree, Pure

See the Checker Framework Manual:

Lock Checker, Example use of @MayReleaseLocks, Annotating libraries