On Mon, Oct 21, 2013 at 4:16 PM, Michael Wallner <m...@php.net> wrote:
> On 21 October 2013 10:13, Patrick Schaaf <b...@bof.de> wrote: > > Am 21.10.2013 03:52 schrieb "Joe Watkins" <krak...@php.net>: > >> > >> 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... > Since we're throwing around terms, here's another one: predicate <expr>; It should be understood by most programmers what it means (though, admittedly, it doesn't carry an obvious severity) and isn't used anywhere in the language (afaik). > > > -- > Regards, > Mike > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > > -- -- Tjerk
