Annotation Interface 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