Package org.checkerframework.checker.initialization.qual

Annotation Type 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