Package org.checkerframework.checker.initialization.qual

Annotation Types Summary

Annotation Type	Description
FBCBottom	The bottom type in the initialization 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.