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

public @Interface GuardedByUnknown

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@SubtypeOf
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.SubtypeOf

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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString