@Documented
@Target(value=FIELD)
@Retention(value=RUNTIME)
public @interface NotOnlyInitialized
Initialized
(but
UnderInitialization
or UnknownInitialization
instead). This is
necessary to allow circular initialization as supported by
freedom-before-commitment.