Annotation Type 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, org.checkerframework.checker.nullness.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.