Annotation Interface PolyInitializedFields


@PolymorphicQualifier(InitializedFields.class) @Target({TYPE_USE,TYPE_PARAMETER}) public @interface PolyInitializedFields
Polymorphic qualifier for the Initialized Fields type system.
See the Checker Framework Manual:
Initialized Fields Checker