Re: Entry family

[evangeli <evangeli@cnam.fr>]

Preben Randhol wrote:

> Evangelista Sami wrote:
> 
>>hello all
>>
>>what is the meaning of this code which compile well with gnat3.14
>>under linux:
>>---------------------------------------------
>>procedure Test_Index is
>>   type Id is mod 10;
>>   protected type Prot is
>>      entry E (Boolean);
>>   end Prot;
>>   protected body Prot is
>>       entry E (for I in Id) when True is
>>
>                   ^^^^^^^^^^^
>                   Won't this return Boolean?
> 
> 

and what about this?
---------------------------------------------
procedure test_index is
    type Id is mod 10;
    protected type Prot is
       entry E (Id);
    end Prot;
    protected body Prot is
        entry E (for B in Boolean) when True is
        begin
           null;
        end;
    end Prot;
    P : Prot;
begin
    P.E(8);
end;
---------------------------------------------

does "for b in boolean" return id?