org.checkerframework.common.initializedfields.qual
public @Interface PolyInitializedFields
extends Annotation
- Annotations
- @PolymorphicQualifier:InitializedFields
- @Target:TYPE_USE, TYPE_PARAMETER
- Imports
- java.lang.annotation.ElementType, .Target, org.checkerframework.framework.qual.PolymorphicQualifier
Polymorphic qualifier for the Initialized Fields type system.
