Re: Timeouts in Ada

[Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>]

On 07/17/2014 12:27 PM, Jeffrey Carter wrote:
>
> select
>     <trigger>
> then abort
>     <abortable part>
> end select;
>
> is shorthand for
>
> declare
>     task AP;
>
>     task body AP is
>     begin
>        <abortable part>
>     end AP;
> begin
>     <trigger>
>
>     abort AP;
> end;

Sorry, of course those aren't equivalent because I haven't included a mechanism 
to cancel the trigger when the abortable part completes. That's left as an 
exercise for the reader.

-- 
Jeff Carter
"You a big nose have it."
Never Give a Sucker an Even Break
107