Annotation Type GuardedByBottom
-
@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @TargetLocations({EXPLICIT_LOWER_BOUND,EXPLICIT_UPPER_BOUND}) @SubtypeOf(NewObject.class) public @interface GuardedByBottom
The bottom type in the GuardedBy type system. Programmers should rarely write this type.If a variable
x
has type@GuardedByBottom
, then the value referred to byx
isnull
(or dead code) and can never be dereferenced.