Package org.checkerframework.common.initializedfields.qual

Annotation Interface 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
    String[]
    value
    Fields that have been initialized.

  • Element Details

    • value

      String[] value
      Fields that have been initialized.
      Returns:
      the initialized fields
      Default:
      {}