Development Log

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.