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

public @Interface FenumBottom

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

Its relationships are set up via the FenumAnnotatedTypeFactory.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString