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