Annotation Interface Initialized
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf(UnknownInitialization.class)
@DefaultQualifierInHierarchy
@DefaultFor({IMPLICIT_UPPER_BOUND,IMPLICIT_LOWER_BOUND,EXCEPTION_PARAMETER})
public @interface Initialized
This type qualifier belongs to the freedom-before-commitment initialization tracking type-system.
This type-system is not used on its own, but in conjunction with some other type-system that
wants to ensure safe initialization. For instance,
NullnessChecker uses freedom-before-commitment to track
initialization of NonNull fields.
This type qualifier indicates that the object has been fully initialized; reading fields from such objects is fully safe and yields objects of the correct type.
- See the Checker Framework Manual:
- Initialization Checker