Annotation Interface GuardedByUnknown
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf({})
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