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

public @Interface FenumUnqualified

extends Annotation
Annotations
@Documented
@Retention:RUNTIME
@Target
@SubtypeOf:FenumTop
@DefaultQualifierInHierarchy
@DefaultFor:EXCEPTION_PARAMETER
Imports
java.lang.annotation.Documented, .Retention, .RetentionPolicy, .Target, org.checkerframework.framework.qual.DefaultFor, .DefaultQualifierInHierarchy, .SubtypeOf, .TypeUseLocation

An unqualified type. Such a type is incomparable to (that is, neither a subtype nor a supertype of) any fake enum type.

This annotation may not be written in source code; it is an implementation detail of the checker.

Method Summary

Inherited from java.lang.annotation.Annotation:
annotationTypeequalshashCodetoString