Wikibooks

Ada Programming/Attributes/'Old

< Ada Programming | Attributes
This page may need to be reviewed for quality.

Description

edit

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 
X’Old return T
Retrieved from "https://en.wikibooks.org/wiki/Ada_Programming/Attributes/%27Old"