Class KeyForSubchecker

All Implemented Interfaces:
Processor, OptionConfiguration

@SupportedOptions("assumeKeyFor") public class KeyForSubchecker extends BaseTypeChecker
A type-checker for determining which values are keys for which maps. Typically used as part of the compound checker for the nullness type system.
See the Checker Framework Manual:
Map Key Checker, Nullness Checker
  • Constructor Details

    • KeyForSubchecker

      public KeyForSubchecker()