Annotation Type LockingFree
-
@Documented @Retention(RUNTIME) @Target({METHOD,CONSTRUCTOR}) @InheritedAnnotation public @interface LockingFreeThe method neither acquires nor releases locks, nor do any of the methods that it calls. More specifically, the method is notsynchronized, it contains nosynchronizedblocks, it contains no calls tolockorunlock, and it contains no calls to other non-@LockingFreemethods.@LockingFreeprovides a stronger guarantee than@ReleasesNoLocksand a weaker guarantee than@SideEffectFree.- See Also:
MayReleaseLocks,ReleasesNoLocks,SideEffectFree,Pure- See the Checker Framework Manual:
- Lock Checker, Example use of @LockingFree