Development Log

  • GNAT Pro
    Sep 18th, 2017

    New gnatcheck rule No_Inherited_Classwide_Pre
    This rule flags a declaration of an overriding primitive operation of a tagged type if at least one of the operations it overrides or implements does not have any (explicitly defined or inherited) Pre'Class attribute defined for it.