Top Description Methods
org.checkerframework.checker.lock.qual

public @Interface LockingFree

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:METHOD, CONSTRUCTOR
@InheritedAnnotation
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.dataflow.qual.Pure, .SideEffectFree, org.checkerframework.framework.qual.InheritedAnnotation

The method neither acquires nor releases locks, nor do any of the methods that it calls. More specifically, the method is not synchronized, it contains no synchronized blocks, it contains no calls to lock or unlock, and it contains no calls to other non-@LockingFree methods.

@LockingFree provides a stronger guarantee than @ReleasesNoLocks and a weaker guarantee than @SideEffectFree.

See Also
MayReleaseLocks, ReleasesNoLocks, SideEffectFree, Pure

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString