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.