Package org.checkerframework.checker.nullness.qual

Annotation Type 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