Class FenumChecker

All Implemented Interfaces:
Processor, OptionConfiguration

@StubFiles("jdnc.astub") @SupportedOptions({"quals","qualDirs"}) public class FenumChecker extends BaseTypeChecker
The main checker class for the Fake Enum Checker.

There are two options to distinguish different enumerators:

  1. @Fenum("Name"): introduces a fake enumerator with the name "Name". Enumerators with different names are distinct. The default name is empty, but you are encouraged to use a unique name for your purpose.
  2. Alternatively, you can specify the annotation to use with the -Aqual command line argument.
See the Checker Framework Manual:
Fake Enum Checker
  • Constructor Details

    • FenumChecker

      public FenumChecker()
  • Method Details