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

public @Interface UnknownKeyFor

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@InvisibleQualifier
@SubtypeOf
@DefaultQualifierInHierarchy
@DefaultFor:LOWER_BOUND
types:Void
@QualifierForLiterals:NULL
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultFor, .DefaultQualifierInHierarchy, .InvisibleQualifier, .LiteralKind, .QualifierForLiterals, .SubtypeOf, .TypeUseLocation

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.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString