Output contract's arguements

[Andrei Alexandrescu]

On 9/19/13 4:31 AM, PauloPinto wrote:
> Using the Eiffel standard as reference, chapter 8.9, the daddy of design
> by contract
>
> http://www.ecma-international.org/publications/standards/Ecma-367.htm
>
> Given a parameter x, on a postcondition it refers to the local value on
> function's exit. To refer to the original value on entry it needs to be
> prefixed with the keyword old.

That reminds me we have no reasonable equivalent for Eiffel's "old".

Andrei