org.checkerframework.dataflow.qual

Annotation Type LockingFree

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

The method neither aquires nor releases locks -- nor do any of the methods that it calls.

See the Checker Framework Manual:

Locking Checker