Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82649
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.42 as permitted sender)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
In-Reply-To: <CAGa2bXaZ9UzRzv5REix8ao+2bD9BDou3GA0+wmPh_wGKcP6b8w@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@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> <CA+9eiLsK1JJbyGu5Fxf+MNz63wb8K0661rkMm-h+vTVUZo+0SQ@mail.gmail.com>
 <54DBA801.8060403@gmail.com> <CA+9eiLvwRZZDcNoskzvu3svM3SCyjDv+Et3MpujV8GY2EdqnRA@mail.gmail.com>
 <CAGa2bXaZ9UzRzv5REix8ao+2bD9BDou3GA0+wmPh_wGKcP6b8w@mail.gmail.com>
Date: Sat, 14 Feb 2015 08:30:31 +0900
Message-ID: <CAGa2bXaRZrX0=QXj7F=tiMzgfE4cg2-QVcPNt0ND0=2N_rZ7Gw@mail.gmail.com>
To: Dmitry Stogov <dmitry@zend.com>, Joe Watkins <pthreads@pthreads.org>, 
	=?UTF-8?Q?Fran=C3=A7ois_Laupretre?= <francois@tekwire.net>
Cc: Stanislav Malyshev <smalyshev@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113a2aa2bf4cf5050f00a1e4
Subject: Re: [PHP-DEV] Design by Contract
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a113a2aa2bf4cf5050f00a1e4
Content-Type: text/plain; charset=UTF-8

On Sat, Feb 14, 2015 at 8:19 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:

>      myMethod() {
>           require(MyMethod());
>      }
>

My hand is not used to new syntax yet. This should be.

myMethod()
  require(myMethid())
{
  /* */
}

==========
Native DbC support syntax:
class Child {
    require($this->age < 18); // Invariant (Class state condition)

    public function someMethod($input)
        require(somethingAbout($input)) // Precondition
        return($ret, somethingReturn($ret)) // Postcondition
    {
        /* Great! We are certain that caller satisfy precondition, return
           appropriate return value and have proper class state! */
    }
}

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a113a2aa2bf4cf5050f00a1e4--