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

public @Interface KeyForBottom

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target:TYPE_USE, TYPE_PARAMETER
@TargetLocations:EXPLICIT_LOWER_BOUND, EXPLICIT_UPPER_BOUND
@InvisibleQualifier
@SubtypeOf:KeyFor
Imports
java.lang.annotation.Documented, .ElementType, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.InvisibleQualifier, .SubtypeOf, .TargetLocations, .TypeUseLocation
The bottom type in the Map Key type system. Programmers should rarely write this type.

There are no values of this type (not even null).

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString