Annotation Interface FenumBottom


The bottom type in the Fenum type system. Programmers should rarely write this type.

Its relationships are set up via the FenumAnnotatedTypeFactory.

See the Checker Framework Manual:
Property File Checker, the bottom type