org.checkerframework.checker.lock.qual

Annotation Type GuardedByUnknown

@SubtypeOf(value={})
 @Retention(value=RUNTIME)
 @DefaultInUncheckedCodeFor(value=RECEIVER)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
public @interface GuardedByUnknown

It is unknown what locks guard the value referred to by the annotated variable. Therefore, the value can never be dereferenced. The locks that guard it might not even be in scope (might be inaccessible) at the location where the @GuardedByUnknown annotation is written.

@GuardedByUnknown is the top of the GuardedBy qualifier hierarchy. Any value can be assigned into a variable of type @GuardedByUnknown.

See the Checker Framework Manual:

Lock Checker