Next: Attribute Passed_By_Reference, Previous: Attribute Object_Size, Up: Implementation Defined Attributes [Contents][Index]
In addition to the usage of Old defined in the Ada 2012 RM (usage
within Post aspect), GNAT also permits the use of this attribute
in implementation defined pragmas Postcondition,
Contract_Cases and Test_Case. Also usages of
Old which would be illegal according to the Ada 2012 RM
definition are allowed under control of
implementation defined pragma Unevaluated_Use_Of_Old.