Re: Design by Contract
| From: | Yasuo Ohgaki | Date: | Sat, 14 Feb 2015 03:53:58 +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 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-82666@lists.php.net to get a copy of this message | ||
Hi Francois,
On Sat, Feb 14, 2015 at 12:03 PM, François Laupretre <francois@php.net>
wrote:
> > For method calls, overridden method should not evaluate parents contract
> on entry.
> > It should be evaluated when parent method is called.
>
> I already told you : the logic you are using for pre-conditions is NOT
> compatible with Eiffel and D logic, although this is what you're supposed
> to mimic. It is actually the opposite. Is it a wanted behavior ? because
> you should be aware that it does not respect the LS principle.
Did you mean "Least Concern Principle" here?
Regards,
--
Yasuo Ohgaki
yohgaki@ohgaki.net