Annotation Interface OptionalBottom
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(Present.class)
public @interface OptionalBottom
The bottom type qualifier for the Optional Checker. The only value of this type is
null.
Programmers rarely write this annotation.- See the Checker Framework Manual:
- Optional Checker