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