Rainer Deyke wrote:
Andrei Alexandrescu wrote:Eiffel offers the "old" keyword that refers to the old object in a postcondition. But it seems quite wasteful to clone the object just to have a contract look at a little portion of the old object.You don't need to clone the whole object. You just need to cache the properties that are used with 'old'.
That's a good idea.
