Class TypeDeclDefaultChecker

All Implemented Interfaces:
Processor, OptionConfiguration

public class TypeDeclDefaultChecker extends BaseTypeChecker
A type-checker plug-in for the TypeDeclDefault type system.
  • Constructor Details

    • TypeDeclDefaultChecker

      public TypeDeclDefaultChecker()