Development Log

  • GNAT Pro
    Jun 30th, 2017

    New gnatcheck rule Specific_Parent_Type_Invariant
    This rule flags record extensions and private extensions having a parent type that specifies a Type_Invariant aspect. A record extension is not flagged when it is a completion of a private extension.