Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:69720 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 33663 invoked from network); 21 Oct 2013 08:16:32 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 21 Oct 2013 08:16:32 -0000 Authentication-Results: pb1.pair.com header.from=mike.php.net@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=mike.php.net@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.181 as permitted sender) X-PHP-List-Original-Sender: mike.php.net@gmail.com X-Host-Fingerprint: 209.85.217.181 mail-lb0-f181.google.com Received: from [209.85.217.181] ([209.85.217.181:42387] helo=mail-lb0-f181.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id CF/EC-44908-FD2E4625 for ; Mon, 21 Oct 2013 04:16:32 -0400 Received: by mail-lb0-f181.google.com with SMTP id x18so3264005lbi.26 for ; Mon, 21 Oct 2013 01:16:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc:content-type; bh=VKINqpW3C/lWXkHlkThATa/rx8errwQCumuRnM44mG4=; b=Rhb3dIQMuaXmLyJR14FL861cHbcs+Y41kZWPN++tkc6X4Aq0C80ns2dSYjIb/DbOn5 lHrCd0ZjlfwjeuptPR4qRYpoDV6EZ3tihdunvo4i6N42ywYyzyzfFIaXYv/mLtG0f/ua dTQ3JSfubipf++sXP1sui7lp96mvog0gFn2pg9+i+unY1l4SoflDmqrAMHzzVXo16ymO sHiO9LXM0Hazox1sCbfugaV0v6F5J+S/39AD8U5Y+wsQV7P48VbK4sCMrHe6u320VC8k vhBz6KPyeptGNPRaAQvpoGRlUT/1IDR/ohNGMO/rtoGmzXaWw/DK2jP6LUvuwgRe0O4x Qdrw== MIME-Version: 1.0 X-Received: by 10.152.44.225 with SMTP id h1mr13007250lam.15.1382343388871; Mon, 21 Oct 2013 01:16:28 -0700 (PDT) Sender: mike.php.net@gmail.com Received: by 10.114.184.19 with HTTP; Mon, 21 Oct 2013 01:16:28 -0700 (PDT) In-Reply-To: References: <3D.BC.23638.84CA1625@pb1.pair.com> <000301cecd1b$9aa133f0$cfe39bd0$@tutteli.ch> <526488C1.8020400@php.net> Date: Mon, 21 Oct 2013 10:16:28 +0200 X-Google-Sender-Auth: pq2-sRGRpUxtgOTiwNFJb5nVvOc Message-ID: To: Patrick Schaaf Cc: Joe Watkins , internals Content-Type: text/plain; charset=UTF-8 Subject: Re: [PHP-DEV] RFC: Expectations From: mike@php.net (Michael Wallner) On 21 October 2013 10:13, Patrick Schaaf wrote: > Am 21.10.2013 03:52 schrieb "Joe Watkins" : >> >> So looks like we need a new name ?? Ideas ?? > > abstract EXPRESSION wat? > abstract is already a keyword, so no BC. > > abstract is not concrete so alludes a bit to the > might-be-or-might-not-be-checked nature of the test > > abstract is the name for the "short summary" intro part of scientific > papers, and these conditions are kind of a summary of what is known > (preconditions) and concluded (postconditions). Ah, ok well. I'd rather go for expected() or except() then... -- Regards, Mike