Annotation Interface UnknownKeyFor
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@InvisibleQualifier
@SubtypeOf({})
@DefaultQualifierInHierarchy
@DefaultFor(value=LOWER_BOUND,
types=java.lang.Void.class)
@QualifierForLiterals(NULL)
public @interface UnknownKeyFor
Used internally by the type system; should never be written by a programmer.
Indicates that the value assigned to the annotated variable is not known to be a key for any
map. It is the top type qualifier in the KeyFor
hierarchy. It is also the default type
qualifier.
- See the Checker Framework Manual:
- Map Key Checker