| Annotation Type | Description |
|---|---|
| MaybePresent |
The
Optional container may or may not contain a value. |
| OptionalBottom |
The bottom type qualifier for the Optional Checker.
|
| PolyPresent |
A polymorphic qualifier for the Optional type system.
|
| Present |
The
Optional container definitely contains a (non-null) value. |