Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:69719
Return-Path: <bof@bof.de>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 32186 invoked from network); 21 Oct 2013 08:14:01 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 21 Oct 2013 08:14:01 -0000
Authentication-Results: pb1.pair.com smtp.mail=bof@bof.de; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=bof@bof.de; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain bof.de designates 80.242.145.70 as permitted sender)
X-PHP-List-Original-Sender: bof@bof.de
X-Host-Fingerprint: 80.242.145.70 mars.intermailgate.com  
Received: from [80.242.145.70] ([80.242.145.70:55246] helo=mars.intermailgate.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 29/9C-44908-742E4625 for <internals@lists.php.net>; Mon, 21 Oct 2013 04:14:00 -0400
Received: (qmail 20091 invoked by uid 1009); 21 Oct 2013 10:13:56 +0200
Received: from 209.85.212.52 by mars (envelope-from <bof@bof.de>, uid 89) with qmail-scanner-1.25-st-qms 
 (clamdscan: 0.96.2/17981. spamassassin: 3.3.1. perlscan: 1.25-st-qms.  
 Clear:RC:1(209.85.212.52):. 
 Processed in 0.073947 secs); 21 Oct 2013 08:13:56 -0000
X-Antivirus-MYDOMAIN-Mail-From: bof@bof.de via mars
X-Antivirus-MYDOMAIN: 1.25-st-qms (Clear:RC:1(209.85.212.52):. Processed in 0.073947 secs Process 20084)
Received: from mail-vb0-f52.google.com (gmail@bof.de@209.85.212.52)
  by mars.intermailgate.com with RC4-SHA encrypted SMTP; 21 Oct 2013 10:13:56 +0200
Received: by mail-vb0-f52.google.com with SMTP id f12so3620314vbg.39
        for <internals@lists.php.net>; Mon, 21 Oct 2013 01:13:54 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=mime-version:in-reply-to:references:date:message-id:subject:from:to
         :cc:content-type;
        bh=V7jL68oPdvoTWk03o3bIuvBsQpXfDheJCUV5dwuwMis=;
        b=Bv6Rv9wb/aOndPZE1fkLO/JG2b1PPWuSNzIdxou85fnDWKqqAW06ryI7D9rvWsf6Zo
         ZZPGtNtJ5aCL9RxOQ5PvpFeuGS2JuffLd5dgHZd0beCv0+dIOMsEycP3FT+Dd00xEStN
         wfJEeNwbOeWiCbhW2UYYYa0pLPwaN7YgHBYoVSzrczzWIX0dHhKrUX2DHOqISZE35ny6
         n4BF6zflzjpG0id/TIAzoFkXCSegHrsze9303bA6ynKTQH5AeqYLv5JPYekU6CcrKRsb
         hjrPUh47PyOeINmoFohUw+frhDnHgQcXwG7lVZY0KsoDWW397Wg8sbFBi1xHH+PcHZH/
         5WRQ==
MIME-Version: 1.0
X-Received: by 10.220.183.199 with SMTP id ch7mr293620vcb.27.1382343234444;
 Mon, 21 Oct 2013 01:13:54 -0700 (PDT)
Received: by 10.52.185.102 with HTTP; Mon, 21 Oct 2013 01:13:54 -0700 (PDT)
Received: by 10.52.185.102 with HTTP; Mon, 21 Oct 2013 01:13:54 -0700 (PDT)
In-Reply-To: <526488C1.8020400@php.net>
References: <3D.BC.23638.84CA1625@pb1.pair.com>
	<000301cecd1b$9aa133f0$cfe39bd0$@tutteli.ch>
	<CAH-PCH4y5qiXyLLw8ezv1RDzq-NomghAG0ZbPm0Kve=OZspTCg@mail.gmail.com>
	<526488C1.8020400@php.net>
Date: Mon, 21 Oct 2013 10:13:54 +0200
Message-ID: <CAJ26g5T7-zbvs1JVspFkCqT+v8mn34m6XY=GhrQKgxNypEAp=A@mail.gmail.com>
To: Joe Watkins <krakjoe@php.net>
Cc: internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11c1bce07265ad04e93bdd0a
Subject: Re: [PHP-DEV] RFC: Expectations
From: bof@bof.de (Patrick Schaaf)

--001a11c1bce07265ad04e93bdd0a
Content-Type: text/plain; charset=ISO-8859-1

Am 21.10.2013 03:52 schrieb "Joe Watkins" <krakjoe@php.net>:
>
> So looks like we need a new name ?? Ideas ??

abstract EXPRESSION

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).

best regards
  Patrick

--001a11c1bce07265ad04e93bdd0a--