Class CompilerMessagesChecker

All Implemented Interfaces:
Processor, OptionConfiguration

public class CompilerMessagesChecker extends PropertyKeyChecker
A PropertyKeyChecker for the compiler message keys that are used in the Checker Framework.
  • Constructor Details

    • CompilerMessagesChecker

      public CompilerMessagesChecker()