Annotation Type 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
      java.lang.String value  
    • Element Detail

      • value

        java.lang.String value