Annotation Interface PolyKeyFor
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@PolymorphicQualifier(UnknownKeyFor.class)
public @interface PolyKeyFor
A polymorphic qualifier for the Map Key (@KeyFor) type system.
Any method written using @PolyKeyFor conceptually has an arbitrary number of versions:
one in which every instance of @PolyKeyFor has been replaced by @UnknownKeyFor, one in which every instance of @PolyKeyFor has been replaced by
@KeyForBottom, and ones in which every instance of @PolyKeyFor has been
replaced by @KeyFor, for every possible combination of map arguments.
- See the Checker Framework Manual:
- Nullness Checker, Qualifier polymorphism