Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:81955
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 47519 invoked from network); 5 Feb 2015 18:11:58 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 5 Feb 2015 18:11:58 -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.169 as permitted sender)
X-PHP-List-Original-Sender: yohgaki@gmail.com
X-Host-Fingerprint: 209.85.216.169 mail-qc0-f169.google.com  
Received: from [209.85.216.169] ([209.85.216.169:59496] helo=mail-qc0-f169.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 84/F7-27691-D62B3D45 for <internals@lists.php.net>; Thu, 05 Feb 2015 13:11:58 -0500
Received: by mail-qc0-f169.google.com with SMTP id b13so7727849qcw.0
        for <internals@lists.php.net>; Thu, 05 Feb 2015 10:11:54 -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=aaw7JGaDB+ucEH2LLsiMC08BO3FOfZTsp7qYUoyFq8I=;
        b=LYVVtZTLqiLyolfiBz8EGrKyLKDF43dm7dZEs0YoQ16T1TGqFffJZC2RGkQgPsv2pu
         knBwQv77dg5Ce8rJ/WZUdeWE0NeepN4h04XdVQoWIHqdFGYg2moA2AJ/6qKoATSFAyUa
         u914mrKMUmxWFQS4OGi9iomsOJD6oXkz+Ydl061wsPMsaTNubjoMOZMSVVnBLxcC0uuV
         8pxaapC8NPstykmkeVKULBUGHeJf57c06fROOCLjKsrpVc59zB68UMUgyB42tpWymYBW
         zGmopMXIUExNapF+ZPX6sx+OHdv/debczKL7Qx7KvfFAsKzQ8riHEfESNT2TiUqPf+gw
         MHMg==
X-Received: by 10.140.42.22 with SMTP id b22mr10277348qga.43.1423159914528;
 Thu, 05 Feb 2015 10:11:54 -0800 (PST)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
Received: by 10.229.28.72 with HTTP; Thu, 5 Feb 2015 10:11:14 -0800 (PST)
In-Reply-To: <CAGa2bXYQotZvbrn0Zj_VM8FOs_HU16kyuWggStSJ38a7fRR7CQ@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
 <01d601d04146$6fbda4c0$4f38ee40$@tekwire.net> <CA+9eiLvQroYuUW_dVr+r5c=O=1aQ3upfahVUd1e-9qpLQRrxUw@mail.gmail.com>
 <020c01d0414b$2c3a1120$84ae3360$@tekwire.net> <CAEZPtU41ud0JSzfc6axnzdKCNJ48-LBCx=zuiFVpQ1mNdTK-kA@mail.gmail.com>
 <CAGa2bXZcTGdB6=iTJxnfkCm6dkUa=dHrsGKcofG3pSTftafRzg@mail.gmail.com>
 <023201d0415e$5731d800$05958800$@tekwire.net> <CAGa2bXZYvt5U644Q7+_Tr9o7=1X9svWK8OQEK4s06js9GGngyA@mail.gmail.com>
 <CAGa2bXYQotZvbrn0Zj_VM8FOs_HU16kyuWggStSJ38a7fRR7CQ@mail.gmail.com>
Date: Fri, 6 Feb 2015 03:11:14 +0900
X-Google-Sender-Auth: JZF9U5VjZs73AM1Ao0Cbcq1_u-E
Message-ID: <CAGa2bXa5nqbPNEQvMXBrFWJgNnj2hLoMxT-xxQEceSJHCgkYzQ@mail.gmail.com>
To: =?UTF-8?Q?Fran=C3=A7ois_Laupretre?= <francois@tekwire.net>
Cc: Pierre Joye <pierre.php@gmail.com>, PHP internals <internals@lists.php.net>, 
	Dmitry Stogov <dmitry@zend.com>
Content-Type: multipart/alternative; boundary=001a11c12d762a084b050e5b3d19
Subject: Re: [PHP-DEV] Design by Contract
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

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

On Fri, Feb 6, 2015 at 2:54 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:

> __invariant()


Oops

__invariant_before_foo()
__invariant_after_foo()

There are other bad english. I should spend more time to check. Sorry.

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a11c12d762a084b050e5b3d19--