org.checkerframework.checker.interning.qual

Annotation Type PolyInterned

@PolymorphicQualifier(value=UnknownInterned.class)
 @Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
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