Development Log

  • GNAT Pro
    Jan 28th, 2017

    New gnatcheck rule POS_On_Enumeration_Types
    A new rule named POS_On_Enumeration_Types is added to gnatcheck. It flags the 'Pos attribute in cases where the attribute prefix denotes an enumeration type (including types derived from enumeration types).