Re: Finalization of a record containing a task

[Stephen Leake <stephen_leake@acm.org>]

ssh9614@hotmail.com (Bj?rn) writes:

> I'm trying to implement a form of self modifying ADT, containing an
> active task.
> 
> I would prefer that the user of the ADT not need to do any "extra"
> operations on the ADT when the user is finished with it, rather have
> the task terminate automatically when the type goes out of scope.
> 
> I do not see how I can manage this since the ADT does not seem to
> finalize as long as the tasks have not terminated.

you need to have a 'select' statement, with an open 'terminate'
alternative.

> package body PKG is
>    task T_Worker is
>       {Inner task of T_Worker}
>    begin
>       loop
>          select
>             accept Start;
>          or
>             accept Stop;
>          or
>             ...
>          or
>             delay until Some_Time;

           or terminate;

>          end select;
>       end loop;
> end PKG;

-- 
-- Stephe