Re: Problem with limited with

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

On 07/26/2013 12:14 PM, Simon Wright wrote:
>
>     limited with Pak2;
>     package Pak1 is
>        type Pak2_T2_P is access all Pak2.T2;
>        task type T1 is
>           entry E1 (T2 : Pak2_T2_P);
>        end T1;
>     end Pak1;
>
>     package Pak2 is
>        task type T2 is
>           entry E2;
>        end T2;
>     end Pak2;
>
>     with Pak2;
>     package body Pak1 is
>        task body T1 is
>           The_T2 : Pak2_T2_P;
>        begin
>           accept E1 (T2 : Pak2_T2_P) do
>              The_T2 := T2;
>           end E1;
>           The_T2.E2;             --  compilation fails
>           The_T2.all.E2;         --  compilation succeeds
>        end T1;
>     end Pak1;

The best solution is to avoid limited with:

with Pak2;
package Pak1 is
    task type T1 is
       entry E1 (T2 : Pak2.T2);
    end T1;
end Pak1;

package body Pak1 is
    task body T1 is
    begin
       accept E1 (T2 : Pak2.T2) do
          T2.E2;
       end E1;
    end T1;
end Pak1;

-- 
Jeff Carter
"What I wouldn't give for a large sock with horse manure in it."
Annie Hall
42