Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82344
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain pthreads.org from 209.85.192.169 cause and error)
MIME-Version: 1.0
In-Reply-To: <CAGa2bXb0w=SDmphk2O2WF+RcbtYhx=pMjddE5kyOBBLBSpVBeg@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
	<54D7ED22.3080001@gmail.com>
	<CA+9eiLvn7BzfG5N+5Oca8pVO1OTzN9=jWof6NrVDfxvvu-XqPA@mail.gmail.com>
	<CAL=_i_m78Zo5euReKsvFfrLknFq7KEzoNnrrBefC987u+=+yHQ@mail.gmail.com>
	<CA+9eiLuUFiKwOR-BqQEmkQirpAMxgb0GE70Zz7h4WDsd1Me8FQ@mail.gmail.com>
	<CAGa2bXYDvdvRLiOpDk8EnvE00JE4x47SXB9fET4uO2Er_F6s_w@mail.gmail.com>
	<CAL=_i_=mGc_0u0YDCQ7Jiqn_ggyJmQSd_mk_snf7ArDpDXO53A@mail.gmail.com>
	<CA+9eiLur0DVGBNkzFkiTj3POL5B9H0D8=5wE-wuwN2O-FQZNyg@mail.gmail.com>
	<CAL=_i_m=XDKtc2iCSjoquaHkmX862gyMweKS5Xw4AS--oLj19w@mail.gmail.com>
	<CA+9eiLsX=mOOgXmNBKD1L6WKx2=Vy81mThaKa1XCjjAw6R=2vA@mail.gmail.com>
	<CAGa2bXYYp0WQmnTnbsHXzc8XGG0PxOVHu7XvwiMCSJiUWoKeCg@mail.gmail.com>
	<CA+9eiLtj79MevMVg1cBSzGvfcdH=jszWym1Bf50zRsQ+94jp5w@mail.gmail.com>
	<CAGa2bXY6OO2svdcguHLEYxQ_XUHjssBjgwJ_Had+JPjFzbZ80g@mail.gmail.com>
	<CAJ26g5QT2545yKEEHD3hho_FAVzF+Vs5qsExtZqDO+RqDTZUjg@mail.gmail.com>
	<CA+9eiLu5TY=3zv8Zx+2q83pf+vviNc326S=WXXOGuwgVt=asUw@mail.gmail.com>
	<CAGa2bXb0w=SDmphk2O2WF+RcbtYhx=pMjddE5kyOBBLBSpVBeg@mail.gmail.com>
Date: Tue, 10 Feb 2015 07:31:24 +0000
Message-ID: <CAL=_i_nrrmS08tYJ==0Pe0B34Ji1ykMbE9anbDpU2KN-vBbapg@mail.gmail.com>
To: Yasuo Ohgaki <yohgaki@ohgaki.net>
Cc: Dmitry Stogov <dmitry@zend.com>, Patrick Schaaf <php@bof.de>, internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=047d7b10cb03c7ce0e050eb6df8f
Subject: Re: [PHP-DEV] Design by Contract
From: pthreads@pthreads.org (Joe Watkins)

--047d7b10cb03c7ce0e050eb6df8f
Content-Type: text/plain; charset=UTF-8

Actually I'm not sure it's at all sane to try to override contracts, I'd
actually avoid that completely, so no need to name contracts and no need
for magic __invariant.

Cheers
Joe

On Tue, Feb 10, 2015 at 7:26 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:

> Hi Dmitry,
>
> On Tue, Feb 10, 2015 at 4:21 PM, Dmitry Stogov <dmitry@zend.com> wrote:
>
> > 4) regarding the error message second argument to the condition
> >> definitions, it would be useful to have these not only as plain
> >> (extrapolated) strings, but as full expressions-that-evaluate-to-string.
> >> That would permit hooking to arbitrary private logging and log
> formatting
> >> methods.
> >>
> > I don't think we will implement this. It may be proposed later as a DbC
> > extension.
> >
>
> I thought it works just like assert(), but no problem for me.
>
>
> > 5) and a bit off-topic, it would be useful to be able to declare (sic)
> >> whole methods to be nonproduction only: Methods that will only be used
> in
> >> pre/post/invariant condition expresions (or error formatters a la my
> point
> >> 4)
> >>
> > this is also not directly related as well.
> > Sorry, but we should define realistic target to be able to provide a
> > working solution.
> > We can't think about all possible and indirectly related features at
> once.
> >
>
> I agree.
>
> Regards,
>
> --
> Yasuo Ohgaki
> yohgaki@ohgaki.net
>

--047d7b10cb03c7ce0e050eb6df8f--