Re: Task question...

[bobduff@world.std.com (Robert A Duff)]

In article <344580FA.478A@eelab.su.oz.au>,
Paul Van Gorp  <paulvg@eelab.su.oz.au> wrote:
>task type t1 is
>       entry reply;
>       ...
>end t1;
>
>task type t2 is
>       ...
>end t2;
>
>task body t1 is
>       T: t2;
>begin
>       loop
>               select
>                       accept reply;
>                       T.do_something;
>                       ...
>               or
>                       ...
>                       T.do_something_else;
>                       ...
>               end select;
>       end loop;
>end t1;
>
>task body t2 is
>begin
>       loop
>               select
>                       ...
>                       -- what I want here, is to invoke t1.reply
>                       -- from within different instances of T1
>                       -- if you know what I mean
>               end select;
>       end loop;
>end t2;

You can put t2 inside t1, like this:

task type t1 is
        entry reply;
        ...
end t1;

task body t1 is

        task t2 is -- Not "task type t2 is..."
                ...
        end t2;

        task body t2 is
        begin
                loop
                        select
                                reply; -- Or, if you prefer, "T1.reply;"
                        ...
                        end select;
                end loop;
        end t2;

begin
        loop
                select
                        accept reply;
                        T2.do_something;
                        ...
                or
                        ...
                        T2.do_something_else;
                        ...
                end select;
        end loop;
end t1;

Alternatively, you could use an access discriminant on T2 pointing to
T1.

- Bob