Re: Design by Contract
| From: | Yasuo Ohgaki | Date: | Wed, 11 Feb 2015 08:02:49 +0000 |
| Subject: | Re: Design by Contract | ||
| References: | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-82447@lists.php.net to get a copy of this message | ||
Hi Joe,
On Wed, Feb 11, 2015 at 4:54 PM, Joe Watkins <pthreads@pthreads.org> wrote:
> So it turns out that invariant is already deprecated in D, they have
> dropped it in favour of immutable properties.
>
> I guess I'll have to install an old version, or try to extract everything
> we need from their obviously outdated documentation ...
>
That's too bad.
Eiffel uses invariant.
https://docs.eiffel.com/book/method/et-design-contract-tm-assertions-and-exceptions
Regards,
--
Yasuo Ohgaki
yohgaki@ohgaki.net