Communicating between in and out contracts

Rainer Deyke rainerd at eldwood.com
Sat Oct 17 13:24:50 PDT 2009


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 - rainerd at eldwood.com



More information about the Digitalmars-d mailing list