| Annotation Type | Description |
|---|---|
| FBCBottom |
FBCBottom marks the bottom of the Freedom Before Commitment type hierarchy. |
| 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 belongs to the freedom-before-commitment type-system for tracking
initialization.
|
| UnknownInitialization |
This type qualifier belongs to the freedom-before-commitment type-system for tracking
initialization.
|