Annotation 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