Top Description Methods
org.checkerframework.checker.nullness.qual

public @Interface PolyKeyFor

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@PolymorphicQualifier:UnknownKeyFor
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.PolymorphicQualifier

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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString