Christopher Wright wrote:
> Rainer Deyke wrote:
>> It seems that Eiffel had 'old' semantics that I've proposed all along.
>> Any significant problems with this approach would have been discovered
>> by the Eiffel community by now.
>
> It requires duplicating the object. If the object is mutable, this
> requires duplicating it and recursively duplicating everything it
> references. If the object is immutable, this is free.
There is no "the object".
void f(string fname) out {
file_size(fname) >= old(file_size(fname));
}
--
Rainer Deyke - rain...@eldwood.com
