| Annotation Type | Description |
|---|---|
| FBCBottom |
The bottom type in the Freedom Before Commitment type system.
|
| Initialized |
This type qualifier belongs to the freedom-before-commitment initialization tracking type-system.
|
| NotOnlyInitialized |
A declaration annotation for fields that indicates that a client might observe the field storing
values that are
Initialized, UnderInitialization, or UnknownInitialization, regardless of the
initialization type annotation on the field's type. |
| UnderInitialization |
This type qualifier indicates that an object is (definitely) in the process of being
constructed/initialized.
|
| UnknownInitialization |
This type qualifier indicates how much of an object has been fully initialized.
|