| Annotation Type | Description |
|---|---|
| EnsuresInitializedFields |
A method postcondition annotation indicates which fields the method definitely initializes.
|
| EnsuresInitializedFields.List |
A wrapper annotation that makes the
EnsuresInitializedFields annotation repeatable. |
| InitializedFields |
Indicates which fields have definitely been initialized.
|
| InitializedFieldsBottom |
The bottom type qualifier for the Initialized Fields type system.
|
| PolyInitializedFields |
Polymorphic qualifier for the Initialized Fields type system.
|