Annotation Type InitializedFields
-
@Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf({}) @DefaultQualifierInHierarchy public @interface InitializedFields
Indicates which fields have definitely been initialized.- See the Checker Framework Manual:
- Initialized Fields Checker
-
-
Optional Element Summary
Optional Elements Modifier and Type Optional Element Description java.lang.String[]
value
Fields that have been initialized.
-