Package org.checkerframework.checker.initialization.qual

package org.checkerframework.checker.initialization.qual

Annotation Interfaces

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