checkers.interning.quals
Annotation Type PolyInterned


@Documented
@TypeQualifier
@Retention(value=RUNTIME)
@Target(value={FIELD,LOCAL_VARIABLE,METHOD,PARAMETER,TYPE})
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.