Encounter order: take 2

Tim Peierls tim at peierls.net
Thu Jan 31 14:55:09 PST 2013


On Thu, Jan 31, 2013 at 5:42 PM, Paul Sandoz <paul.sandoz at oracle.com> wrote:

> An intermediate operation must preserve encounter order of the output
> stream unless one of the following conditions is true, which if so the
> intermediate operation may not preserve encounter order:
>

How about:

An intermediate operation must preserve encounter order of the output
stream only if neither of the following conditions is true:

I think it's pretty clear that the logical negation of "must preserve" is
"need not preserve". Spelling it out only makes the reader wonder if they
missing something.

--tim
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/lambda-libs-spec-experts/attachments/20130131/4523acca/attachment.html 


More information about the lambda-libs-spec-experts mailing list