Re: Problem with -gnatt

[Pascal Obry <pascal@obry.org>]

Stephen Leake <stephen_leake@acm.org> writes:

> > Note that protected operations should only execute "for a short time."  
> 
> I wish Robert Dewar were here. I suspect he would say something like
> "Rubbish!".

Well I don't know what Robert would say, but for sure you can't use IO inside
a protected object routine.

> "a short time" is not definable in any meaningful _standard_ way. It
> is _totally_ up to the user to decide what that means.

Ok.

> If your application can afford to wait an hour for a protected object,
> then an hour is "a short time". 

An hour without a single IO ?

So "for a short time" is certainly something (even if not formal) we have
to keep in mind.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|              http://www.obry.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver wwwkeys.pgp.net --recv-key C1082595