Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82260
Return-Path: <yohgaki@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 10563 invoked from network); 9 Feb 2015 10:42:34 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 9 Feb 2015 10:42:34 -0000
Authentication-Results: pb1.pair.com smtp.mail=yohgaki@gmail.com; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=yohgaki@gmail.com; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.46 as permitted sender)
X-PHP-List-Original-Sender: yohgaki@gmail.com
X-Host-Fingerprint: 209.85.216.46 mail-qa0-f46.google.com  
Received: from [209.85.216.46] ([209.85.216.46:56437] helo=mail-qa0-f46.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id C4/EB-50460-91F88D45 for <internals@lists.php.net>; Mon, 09 Feb 2015 05:42:34 -0500
Received: by mail-qa0-f46.google.com with SMTP id j7so20270893qaq.5
        for <internals@lists.php.net>; Mon, 09 Feb 2015 02:42:31 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:from:date:message-id
         :subject:to:cc:content-type;
        bh=X86AHl1szl/b1w5NLsdc6eQECToImYDj/ESXqb+KRjQ=;
        b=DpLhDZKXzaMs8uNAy5IqBXm+Ky+oTaimwb/MxQM9dLhqciqr+n8lZoi7Vs9ys4iWdQ
         kwUtVcr85q8KnIV1R7WdXuVXVNIk6RqQgUQBC/Fv1e9YzOEo5NdjT+UyLJel2XYPJaFe
         49ckXfbzfzcfD6yFWO07dOW2XQ98xiNGxFVJYHV7VEI1U41q4JwXMKj9rvpOYCE0KqnC
         1J17GelVcaqlySrNiJI9o/qCk/RXpL838P1fNmV39wlDt9zx6WuGSOrf2QgNL9ineaXi
         GL2VI0QZK84GvHPwgqENtQnjVOihigODSH2NRD51IsVi+8C8SM+JZFDzPriLJeBGgBqU
         UYsw==
X-Received: by 10.224.161.138 with SMTP id r10mr39424552qax.21.1423478551290;
 Mon, 09 Feb 2015 02:42:31 -0800 (PST)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
Received: by 10.229.28.72 with HTTP; Mon, 9 Feb 2015 02:41:50 -0800 (PST)
In-Reply-To: <CAGa2bXYDvdvRLiOpDk8EnvE00JE4x47SXB9fET4uO2Er_F6s_w@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>
Date: Mon, 9 Feb 2015 19:41:50 +0900
X-Google-Sender-Auth: Ra1nPZLmXrmfhkCmA5l5RtYsEeM
Message-ID: <CAGa2bXbum44GQ-Ty3tAG9S=oAgbJ9ycbnHOAJuWX2yUpD9S6xw@mail.gmail.com>
To: Dmitry Stogov <dmitry@zend.com>
Cc: Joe Watkins <pthreads@pthreads.org>, Stanislav Malyshev <smalyshev@gmail.com>, 
	PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e014953ec653064050ea56d1d
Subject: Re: [PHP-DEV] Design by Contract
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--089e014953ec653064050ea56d1d
Content-Type: text/plain; charset=UTF-8

HI Dmitry,

On Mon, Feb 9, 2015 at 7:34 PM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:

>
> [Without block]
> function foo() {
>   require(assert-expr, 'msg');
>   require(assert-expr, 'msg');
>   require(assert-expr, 'msg');
>   invariant(assert-expr, 'msg');
>   invariant(assert-expr, 'msg');
>   invariant(assert-expr, 'msg');
>   return(assert-expr, 'msg');
>   return(assert-expr, 'msg');
>   return(assert-expr, 'msg');
>
>   // function body
> }
>


OOPS. Without block cannot work ;)
I should have notice while I'm writing.

I'll go with "with block". If you find any other issues, please let me know.

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--089e014953ec653064050ea56d1d--