Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82343 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 29450 invoked from network); 10 Feb 2015 07:27:39 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 10 Feb 2015 07:27:39 -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.45 as permitted sender) X-PHP-List-Original-Sender: yohgaki@gmail.com X-Host-Fingerprint: 209.85.216.45 mail-qa0-f45.google.com Received: from [209.85.216.45] ([209.85.216.45:33089] helo=mail-qa0-f45.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id AA/2A-47508-BE2B9D45 for ; Tue, 10 Feb 2015 02:27:39 -0500 Received: by mail-qa0-f45.google.com with SMTP id j7so1313530qaq.4 for ; Mon, 09 Feb 2015 23:27:37 -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=g38t0rsUBf3QT8lF3BGnyBGpi/0Ipz7kWUEHdT75nGo=; b=HolWk9z/F0kYHJhi1774b2vCn3GiRr3NCrDNVv+QOtWvS7pW/Y4BIbCNFXSTnBpTcH ye8GamRgQXkKthIuLuhsqHqpj6FHpXYXlikSnKfeWfiMl97w/4jOA1iuIe3k5F/T0IfA wWRInp6Ip0MEEsbFjJRrq714B0ppTaU5z5JhNGjxeGjVBGFCL1zpCgqh/bV0Dtfp6KO2 SJSCLT0JQTOMP8HyR/PYa8X6h2pN4n0+sIxJ/TP745p7m47YnKQkyr15F0DKvieEpIzH F1/lNq5kfnkEx3/lCDEP1JPHdobHBFp9efGNsmwTDLpw/Cwfled122sWh4sshMe30sbv rqqw== X-Received: by 10.140.42.83 with SMTP id b77mr43644530qga.43.1423553257186; Mon, 09 Feb 2015 23:27:37 -0800 (PST) MIME-Version: 1.0 Sender: yohgaki@gmail.com Received: by 10.229.35.200 with HTTP; Mon, 9 Feb 2015 23:26:57 -0800 (PST) In-Reply-To: References: <54D7ED22.3080001@gmail.com> Date: Tue, 10 Feb 2015 16:26:57 +0900 X-Google-Sender-Auth: PHS7tlDpn_arWSotJZ4lDyS8GWQ Message-ID: To: Dmitry Stogov Cc: Patrick Schaaf , internals Content-Type: multipart/alternative; boundary=001a11c1305436ab98050eb6d20a Subject: Re: [PHP-DEV] Design by Contract From: yohgaki@ohgaki.net (Yasuo Ohgaki) --001a11c1305436ab98050eb6d20a Content-Type: text/plain; charset=UTF-8 Hi Dmitry, On Tue, Feb 10, 2015 at 4:21 PM, Dmitry Stogov wrote: > 4) regarding the error message second argument to the condition >> definitions, it would be useful to have these not only as plain >> (extrapolated) strings, but as full expressions-that-evaluate-to-string. >> That would permit hooking to arbitrary private logging and log formatting >> methods. >> > I don't think we will implement this. It may be proposed later as a DbC > extension. > I thought it works just like assert(), but no problem for me. > 5) and a bit off-topic, it would be useful to be able to declare (sic) >> whole methods to be nonproduction only: Methods that will only be used in >> pre/post/invariant condition expresions (or error formatters a la my point >> 4) >> > this is also not directly related as well. > Sorry, but we should define realistic target to be able to provide a > working solution. > We can't think about all possible and indirectly related features at once. > I agree. Regards, -- Yasuo Ohgaki yohgaki@ohgaki.net --001a11c1305436ab98050eb6d20a--