org.checkerframework.checker.nullness.qual

Annotation Type UnknownKeyFor

@InvisibleQualifier
 @SubtypeOf(value={})
 @DefaultQualifierInHierarchy
 @DefaultFor(value=LOWER_BOUND,
            types=java.lang.Void.class)
 @Documented
 @Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
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