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
-