Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82457
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 80720 invoked from network); 11 Feb 2015 08:25:52 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 11 Feb 2015 08:25:52 -0000
Authentication-Results: pb1.pair.com header.from=yohgaki@gmail.com; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=yohgaki@gmail.com; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.182 as permitted sender)
X-PHP-List-Original-Sender: yohgaki@gmail.com
X-Host-Fingerprint: 209.85.216.182 mail-qc0-f182.google.com  
Received: from [209.85.216.182] ([209.85.216.182:50834] helo=mail-qc0-f182.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id F7/E0-33902-F021BD45 for <internals@lists.php.net>; Wed, 11 Feb 2015 03:25:52 -0500
Received: by mail-qc0-f182.google.com with SMTP id x3so1563813qcv.13
        for <internals@lists.php.net>; Wed, 11 Feb 2015 00:25:49 -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=4NsiH1ya5Gr1YI3GK7brSEIFhYIJXz/rUg91fUBuO3k=;
        b=aBPa5gMwbqPYlBaFJQFcN7qR0dCCU7p+g2uWzhM49Dgw4r1Gwa1Z7RVBuSk0j186as
         aGh6lkjj/tm9VcdTjlpDFu+CkjHd/pCYinEZ96g++1ABf4mRobWDOe6Tg633OP1/ouhl
         nnqxUeW48M7u6b/atIT7+jSSi6EjxPmAGJxmQ+Be96Bt5MdDHdD9UjHyc4FfFYMOjySK
         /RXzwElI07wOesEBMEPS5dQ9jWcWnfAnhtVhFyjKO9AEx+f7XILkP1kxllQZslaJO+Hw
         7bLXQWBSZTLx0jGhdksUZfIZJ1Krq6vLcWJgOA3nATXCSCP14T6NpBxEISVHwHBl1NM4
         Hsmg==
X-Received: by 10.140.42.83 with SMTP id b77mr55621429qga.43.1423643149348;
 Wed, 11 Feb 2015 00:25:49 -0800 (PST)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
Received: by 10.229.250.195 with HTTP; Wed, 11 Feb 2015 00:25:08 -0800 (PST)
In-Reply-To: <CAL=_i_mV4GHs1eXq=Bhuj-asMdOZ-SXASfcJW2Qf1c4gV8qaTA@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@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>
 <CAGa2bXbKs8cGRTQ1sfeRonnmVXtp7ftVDkz_ALmqr8OnczQxCg@mail.gmail.com>
 <CAGa2bXZ8Wy7bUYgtbajr+GkpQtQEjQLMbFT2mSB5OEnLO2mgfg@mail.gmail.com>
 <CAL=_i_kypYpa3t06peRKwtww=cbh+KhM+iAOtotDGNaFfJBuVA@mail.gmail.com>
 <54DAFD32.3000005@gmail.com> <CA+9eiLtswwOqku57nHLu8fmHOwzvVcqkHTehBQOPUqQb5P2BUw@mail.gmail.com>
 <54DB0BC0.20304@gmail.com> <54DB0E55.9000207@gmail.com> <CAL=_i_mV4GHs1eXq=Bhuj-asMdOZ-SXASfcJW2Qf1c4gV8qaTA@mail.gmail.com>
Date: Wed, 11 Feb 2015 17:25:08 +0900
X-Google-Sender-Auth: Wxk1J6my1kelRQRyCb0rzqzUWH4
Message-ID: <CAGa2bXZOMcOOG+JFq3oV=ud8TbUtL-0=Ovtppnso+qpfJM2xDw@mail.gmail.com>
To: Joe Watkins <pthreads@pthreads.org>
Cc: Stanislav Malyshev <smalyshev@gmail.com>, Dmitry Stogov <dmitry@zend.com>, 
	=?UTF-8?Q?Fran=C3=A7ois_Laupretre?= <francois@tekwire.net>, 
	PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11c13054343570050ecbc0ba
Subject: Re: [PHP-DEV] Design by Contract
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a11c13054343570050ecbc0ba
Content-Type: text/plain; charset=UTF-8

Hi Joe,

On Wed, Feb 11, 2015 at 5:12 PM, Joe Watkins <pthreads@pthreads.org> wrote:

> > Just a thought - what about something like __pre/__post? We own __*, so
> no BC problems.
>
> I'm not married to the words being used, at all.
>
> I think this is a good idea, we would need __pre, __post , and
> __invariant, or some combination of three.
>
> Any objection to using __ prefixed names, and any other suggestion for
> them, or just use the above ?
>

It's very close to my original idea, but I like current definition like
syntax.
No objection from me...

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a11c13054343570050ecbc0ba--