Development Log

  • GNAT Pro
    Jul 3rd, 2017

    New gnatcheck rule Specific_Pre_Post
    This rule flags each Pre and Post aspect that is a part of an explicit declaration of a primitive operation of a tagged type. Pre'Class and Post'Class aspects are not flagged.