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.
HoldsForDefaultValue	A meta-annotation that indicates that the qualifier can be applied to the default value of every relevant Java type (as per RelevantJavaTypes).
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.
PolyInitialized	A polymorphic qualifier for the freedom-before-commitment initialization tracking type-system.
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.