Attribute Old (GNAT Reference Manual) (original) (raw)

Next: Attribute Passed_By_Reference, Previous: Attribute Object_Size, Up: Implementation Defined Attributes [Contents][Index]

4.45 Attribute Old ¶

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 ofOld which would be illegal according to the Ada 2012 RM definition are allowed under control of implementation defined pragma Unevaluated_Use_Of_Old.