Re: Ada Protected Object Tutorial #1

[Laurent Guerby <guerby@acm.org>]

"James S. Rogers" <jimmaureenrogers@worldnet.att.net> writes:
> Example:
> 
> select
>    Buffer.Read(Item);
> or
>    delay 0.01;  -- Delay 0.01 seconds
> end select;
> 
> This calls the Read entry on the protected object Buffer. It also starts a
> timer.
> If the Read completes before the timer alarms, the timer is aborted.
> If the timer alarms before the Read completes, the Read is aborted.

The semantic you describe here is the one of the (9.7.4) Asynchronous
Transfer of Control (select ... then abort), and it is different from
the (9.7.2) Timed Entry Calls that you used in your code. To describe
what your code does, you should change "Read completes" by "Read is
selected" (no longuer waiting on a queue. Once Read code has started,
it no longuer matters what the timer does (except in case of use of
requeue).

--LG