org.checkerframework.checker.lock.qual

Annotation Type ReleasesNoLocks

@Documented
 @Retention(value=RUNTIME)
 @InheritedAnnotation
 @Target(value={METHOD,CONSTRUCTOR})
public @interface ReleasesNoLocks

The method, and all the methods it calls, maintain a strictly nondecreasing lock hold count on the current thread for any locks that were held prior to the method call. The method might acquire locks but then release them, or might acquire locks but not release them (in which case it should also be annotated with @EnsuresLockHeld or @EnsuresLockHeldIf).

This is the default for methods being type-checked that have no @LockingFree, @MayReleaseLocks, @SideEffectFree, or @Pure annotation.

@ReleasesNoLocks provides a guarantee unlike @MayReleaseLocks, which provides no guarantees. However, @ReleasesNoLocks provides a weaker guarantee than @LockingFree.

See Also:

MayReleaseLocks, LockingFree, SideEffectFree, Pure

See the Checker Framework Manual:

Lock Checker, Example use of @ReleasesNoLocks