Package org.checkerframework.checker.fenum.qual

Annotation Type FenumUnqualified

@Documented
@Retention(RUNTIME)
@Target({})
@SubtypeOf(FenumTop.class)
@DefaultQualifierInHierarchy
@DefaultFor(EXCEPTION_PARAMETER)
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