Development Log

  • GNAT Pro
    Sep 19th, 2017

    New gnatcheck rule Specific_Type_Invariants
    This rule flags definitions of (non-class-wide) Type_Invariant aspects that are parts of tagged type declarations.