Annotation Type GuardedByUnknown
-
@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf({}) public @interface GuardedByUnknownIt 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@GuardedByUnknownannotation is written.@GuardedByUnknownis 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