Development Log

  • GNAT Pro
    Jun 1st, 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 and not overridden and explicitly declared, but not counting predefined operators), where N is a rule parameter.