org.checkerframework.checker.initialization.qual

Annotation Type NotOnlyInitialized

@Documented
 @Target(value=FIELD)
 @Retention(value=RUNTIME)
public @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.

Author:

Stefan Heule

See the Checker Framework Manual:

Initialization Checker