Annotation 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
     
  • Element Details