Annotation Interface NotOnlyInitialized
A declaration annotation for fields that indicates that a client might observe the field storing values that are
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