| 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.
|