Re: 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