Development Log

  • GNAT Pro
    May 26th, 2017

    New gnatcheck rule Constructors
    This rule flags any declaration of a primitive function of a tagged type that has a controlling result and no controling parameter. If a declaration is a completion of another declaration then it is not flagged.