Re: Design by Contract
| From: | Yasuo Ohgaki | Date: | Tue, 10 Feb 2015 11:31:30 +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 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-82366@lists.php.net to get a copy of this message | ||
Hi Joe,
On Tue, Feb 10, 2015 at 4:40 PM, Joe Watkins <pthreads@pthreads.org> wrote:
> It doesn't seem to make sense to do that, a derived class should be able
> to define additional contracts, but not change the contracts of it's parent.
I forgot that invariants in D and Eiffel implicitly inherits parent's
invariants.
So classes that causes problems have design bug.
Please go ahead editing the file. I wouldn't have time until next morning.
There will be hours. I'll wait as long as it takes.
Regards,
--
Yasuo Ohgaki
yohgaki@ohgaki.net