Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:81901
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.175 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAJ26g5S8o2f6K=_67GRafSZXp4deF+397fN+0_ZJvKbW9s7-7w@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
	<CAJ26g5S8o2f6K=_67GRafSZXp4deF+397fN+0_ZJvKbW9s7-7w@mail.gmail.com>
Date: Thu, 5 Feb 2015 15:46:16 +0400
Message-ID: <CA+9eiLsdcFgKHz+Yu7zSfrc2ZQhQF=RJB769ifgn05b5ERnXhg@mail.gmail.com>
To: Patrick Schaaf <php@bof.de>
Cc: internals <internals@lists.php.net>, Yasuo Ohgaki <yohgaki@ohgaki.net>
Content-Type: multipart/alternative; boundary=20cf307d00760fe01d050e55dac6
Subject: Re: [PHP-DEV] Design by Contract
From: dmitry@zend.com (Dmitry Stogov)

--20cf307d00760fe01d050e55dac6
Content-Type: text/plain; charset=UTF-8

On Thu, Feb 5, 2015 at 2:38 PM, Patrick Schaaf <php@bof.de> wrote:

> Am 05.02.2015 12:14 schrieb "Dmitry Stogov" <dmitry@zend.com>:
> >
> > For php it may look like the following:
> >
> > function foo()
> >     require(<input-assert-expression>)
> >     ensure(<output-assert-expression>)
> > {
> >   ...
> > }
> >
> > It would require only one new reserved word "ensure".
>
> How would one access the function return value in the
> output-assert-expression?
>

good point. we may use a reserved name. e.g. $result.or $return_value

> And what about side effects in these expressions? Could they be suppressed
> / made into errors somehow?
>
I afraid, we won't be able catch possible side effects of assert
expressions.
For now, we may just relay on user, in the same way as with assert() now.

Thanks. Dmitry.


> best regards
>   Patrick
>

--20cf307d00760fe01d050e55dac6--