Annotation Interface PolyInterned
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@PolymorphicQualifier(UnknownInterned.class)
public @interface PolyInterned
A polymorphic qualifier for the Interning type system.
Any method written using @PolyInterned conceptually has two versions: one in which every instance of @PolyInterned has been replaced by @Interned, and one in which every instance of @PolyInterned has been erased.
- See the Checker Framework Manual:
- Interning Checker, Qualifier polymorphism