Development Log

  • GNAT Pro
    Oct 2nd, 2017

    New gnatcheck rule Too_Many_Primitives
    This rule flags any tagged type declaration that has more than N user-defined primitive operations (counting both inherited but not overridden and explicitly declared ones, but not counting predefined operators), where N is a rule parameter.