Re: Ada.Text_IO and protected objects (Was: [newbie question] tasks and protected types)

[Jacob Sparre Andersen <sparre@nbi.dk>]

Egil H. H�vik wrote:
> Jacob Sparre Andersen wrote:
> > Adrien Plisson wrote:
> > > Jacob Sparre Andersen wrote:
> >
> > > > If calls to Ada.Text_IO _are_ potentially blocking operations,
> > > > that means that one has to move the calls to a task.
> 
> RM 9.5.1(18):
> 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.

That was the paragraph I was looking for.  Unfortunately it wasn't in
the index under "potentially blocking operation".  Now it is (in my
printed version).

> > I thought entries of protected objects also were "protected
> > actions".  Unfortunately RM 9.5.1 isn't so clear on that question,
> > that I am sure if that is actually the case or not.
> >
> 
> RM 9.5.3(8):
> ... For a call on an entry of a protected object, a new protected action
> is started on the object (see 9.5.1).

It was exactly that sentence I was of about the meaning of.  I guess
your interpretation of it is that entries of protected objects, like
their functions and procedures, are protected actions.

Thanks.

Jacob
-- 
recursive, adj.; see recursive