Annotation Interface NotOnlyInitialized
@Documented @Target(FIELD) @Retention(RUNTIME) public @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