Package org.checkerframework.checker.fenum.qual

Annotation Interface Fenum

@Documented @Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf(FenumTop.class) public @interface Fenum
A generic fake enumeration qualifier that is parameterized by a name. It is written in source code as, for example, @Fenum("cardSuit") and @Fenum("faceValue"), which would be distinct fake enumerations.
See the Checker Framework Manual:
Fake Enum Checker

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    String
    value
     

  • Element Details