Re: Complexity of protected objects

[Jeffrey Carter <jrcarter@acm.org>]

Robert Dewar wrote:
> 
> Jeffrey Carter <jeffrey.carter@boeing.com> wrote in message news:<3C7FBD74.D434411E@boeing.com>...
> 
> > Certain language-defined subprograms are potentially blocking. In
> > particular, the subprograms of the language-defined input-output
> > packages that manipulate files (implicitly or explicitly) are
> > potentially blocking.
> >
> > Thus, I/O as always potentially blocking because the
> > language defines it as such.
> 
> Umm, I am afraid our syllogistic apparatus is malfunctioning here. The
> predicate said (I will
> shout to make sure no one else misses it) LANGUAGE-DEFINED
> input-output packages.

Actually it said subprograms of language-defined input-output packages
that manipulate files. On the other hand, I think that covers all the
language-defined I/O packages, and most of their subprograms.

Yes, I was slightly imprecise, and should have written "Language-defined
I/O is always potentially blocking", but as the start of the discussion
referred to calling Ada.Text_IO operations from protected operations, I
didn't think the additional qualification was necessary.

-- 
Jeff Carter
"I wave my private parts at your aunties."
Monty Python & the Holy Grail