Top Description Methods
org.checkerframework.checker.initialization.qual

public @Interface NotOnlyInitialized

extends Annotation
Annotations
@Documented
@Target:FIELD
@Retention:RUNTIME
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target

A declaration annotation for fields that indicates that a client might observe the field storing values that are org.checkerframework.checker.initialization.qual.Initialized, org.checkerframework.checker.initialization.qual.UnderInitialization, or org.checkerframework.checker.initialization.qual.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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString