Annotation Interface PolyInitialized
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@PolymorphicQualifier(UnknownInitialization.class)
public @interface PolyInitialized
A polymorphic qualifier for the freedom-before-commitment initialization tracking type-system.
Any method written using PolyInitialized conceptually has multiple versions: one in
which all instances of PolyInitialized in the method signature have been replaced by one
of the following qualifiers: Initialized; UnknownInitialization and UnderInitialization, which take a class argument to represent different type frames; and FBCBottom.
- See the Checker Framework Manual:
- Initialization Checker, Qualifier polymorphism