Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82666 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 61214 invoked from network); 14 Feb 2015 03:54:43 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 14 Feb 2015 03:54:43 -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.181 as permitted sender) X-PHP-List-Original-Sender: yohgaki@gmail.com X-Host-Fingerprint: 209.85.216.181 mail-qc0-f181.google.com Received: from [209.85.216.181] ([209.85.216.181:56703] helo=mail-qc0-f181.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 87/F7-15073-207CED45 for ; Fri, 13 Feb 2015 22:54:42 -0500 Received: by mail-qc0-f181.google.com with SMTP id p6so17018798qcv.12 for ; Fri, 13 Feb 2015 19:54:40 -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=tUj2GdMB8VGYJW1cS6hCJAjXtfrdNmlUCpzy9/qWZkM=; b=X2hTbr2HA9RYyyHJJkGZc3HMtumqlT3PfDaO61Vo3ORMfoLaEog1+6fUcDhtSrSjLI //KeHqDTbjnv392U/KT0mUWIak32hnh91tHoY7SHRNs6KLFX2kkkDGtTOvpYg9gltQBO xqe6rNo5pOsDmxD3rLRFMuSNHSSXmvoU3vRsBvwB4zNZpL4H9QBZXZ05FIiq3Ghzm1DM Y/YBoIvK+h+y8IYf9sn9dnNZypf/fgJ9XZp4EZN56io6F1tPSgn+v36zXcXQcG5aEeso 5gwnl7rOir5TIhdCTYVZKCNH+YUsAZTonmOWbdvv42ZUE5J5/vwYp3tO26NwsPVcn2Br Q8FQ== X-Received: by 10.140.151.13 with SMTP id 13mr2630147qhx.68.1423886079980; Fri, 13 Feb 2015 19:54:39 -0800 (PST) MIME-Version: 1.0 Sender: yohgaki@gmail.com Received: by 10.229.198.8 with HTTP; Fri, 13 Feb 2015 19:53:58 -0800 (PST) In-Reply-To: <011e01d04802$cbd78ce0$6386a6a0$@php.net> References: <54DAFD32.3000005@gmail.com> <54DB0BC0.20304@gmail.com> <54DBA801.8060403@gmail.com> <011e01d04802$cbd78ce0$6386a6a0$@php.net> Date: Sat, 14 Feb 2015 12:53:58 +0900 X-Google-Sender-Auth: SpcYkbzxOp_gkkOE3LgpuODNUVc Message-ID: To: francois Cc: Dmitry Stogov , Joe Watkins , Stanislav Malyshev , PHP Internals Content-Type: multipart/alternative; boundary=001a113553f2ff7be3050f044f5a Subject: Re: [PHP-DEV] Design by Contract From: yohgaki@ohgaki.net (Yasuo Ohgaki) --001a113553f2ff7be3050f044f5a Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi Francois, On Sat, Feb 14, 2015 at 12:03 PM, Fran=C3=A7ois Laupretre wrote: > > For method calls, overridden method should not evaluate parents contrac= t > on entry. > > It should be evaluated when parent method is called. > > I already told you : the logic you are using for pre-conditions is NOT > compatible with Eiffel and D logic, although this is what you're supposed > to mimic. It is actually the opposite. Is it a wanted behavior ? because > you should be aware that it does not respect the LS principle. Did you mean "Least Concern Principle" here? Regards, -- Yasuo Ohgaki yohgaki@ohgaki.net --001a113553f2ff7be3050f044f5a--