Ada Programming/Attributes/'Old
Description
[edit | edit source]The value of X on entry, has same type as X.
Each X'Old in a postcondition expression that is enabled, other than those that occur in subexpressions that are determined to be unevaluated, denotes a constant that is implicitly declared at the beginning of the subprogram body, entry body, or accept statement.
Example
[edit | edit source]X’Old return T