Re: Design by Contract

Hi Dmitry and Joe, On Wed, Feb 11, 2015 at 4:02 PM, Dmitry Stogov <dmitry@zend.com> wrote: > I think we can't support contracts on interfaces and abstract methods. > How D works? D supports contract in structure and interface. Structure is more like classes in D, though. interface I { int foo(int i) in { assert(i > 7); } out (result) { assert(result & 1); } void bar(); } http://dlang.org/interface.html Eiffel support contracts for interfaces. class interface DICTIONARY [ELEMENT] feature put (x: ELEMENT; key: STRING) is -- Insert x so that it will be retrievable -- through key. require count <= capacity not key.empty ensure has (x) item (key) = x count = old count + 1 ... Interface specifications of other features ... invariant 0 <= count count <= capacity end -- class interface DICTIONARY https://archive.eiffel.com/doc/manuals/technology/contract/ If there is no technical difficulties, I would like to have it. Regards, -- Yasuo Ohgaki yohgaki@ohgaki.net