Re: Design by Contract

Hi Dmitry and Joe, On Wed, Feb 11, 2015 at 6:29 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote: > On Tue, Feb 10, 2015 at 8:53 PM, Dmitry Stogov <dmitry@zend.com> wrote: > >> You are welcome to edit https://wiki.php.net/rfc/dbc2 >> It looks like we have similar views, so just make it better in a way you >> think. >> > > Looks good to me. It's much better than original. Thank you folks. > We have related issue like how internal module incorporate with DbC. > However > these could be future issues. > A little more clarification, following interface definition is allowed or not? interface Some { require($this->last_result > 1000); // Force classes to have $this->result function bar($a, $b) require($a > $b) return($ret, $ret > 1000); function getLastResult() return($ret, $this->last_result === $ret); } I suppose it is supported, but it may be better to be explicit. Regards, -- Yasuo Ohgaki yohgaki@ohgaki.net