@TypeQualifier @SubtypeOf(value=UnknownInitialization.class) @DefaultQualifierInHierarchy @Documented @Retention(value=RUNTIME) @Target(value={TYPE_USE,TYPE_PARAMETER}) public @interface Initialized
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.