org.checkerframework.checker.fenum.qual

Annotation Type FenumUnqualified

@SubtypeOf(value=FenumTop.class)
 @DefaultQualifierInHierarchy
 @DefaultFor(value=EXCEPTION_PARAMETER)
 @Documented
 @Retention(value=RUNTIME)
 @Target(value={})
public @interface FenumUnqualified

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.

See the Checker Framework Manual:

Fake Enum Checker