| Modifier and Type | Annotation and Description |
|---|---|
| public @interface | EnsuresInitializedFields
A method postcondition annotation indicates which fields the method definitely initializes. |
| public @interface | InitializedFields
Indicates which fields have definitely been initialized. |
| public @interface | InitializedFieldsBottom
The bottom type qualifier for the Initialized Fields type system. |
| public @interface | PolyInitializedFields
Polymorphic qualifier for the Initialized Fields type system. |