On 21 October 2013 10:13, Patrick Schaaf <[email protected]> wrote:
> Am 21.10.2013 03:52 schrieb "Joe Watkins" <[email protected]>:
>>
>> 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