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 areInitialized
,UnderInitialization
, orUnknownInitialization
, 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.