org.checkerframework.checker.lock.qual

Annotation Type GuardedByBottom

@SubtypeOf(value={GuardedBy.class,GuardSatisfied.class})
 @Documented
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @Retention(value=RUNTIME)
public @interface GuardedByBottom

The bottom of the GuardedBy qualifier hierarchy. If a variable x has type @GuardedByBottom, then the value referred to by x is null and can never be dereferenced.

See the Checker Framework Manual:

Lock Checker