Annotation Interface 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. This is necessary to allow circular
initialization as supported by freedom-before-commitment.- See the Checker Framework Manual:
- Initialization Checker