Re: Entry family

["Grein, Christoph" <christoph.grein@eurocopter.com>]

> >>---------------------------------------------
> >>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
> >>       begin
> >>          null;
> >>       end;
> >>   end Prot;
> >>   P : Prot;
> >>begin
> >>   P.E(True);
> >>end;
> >>
> --------------------------------------------------
> procedure test_index is
>     type Id is mod 5;
>     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
>     -- OK : 0 -> FALSE
>     P.E(0);
>     -- OK : 1 -> TRUE
>     P.E(1);
>     -- CRASHES
>     P.E(2);
> end;
> --------------------------------------------------

Both programs show the same fat bug. There is no such implicit conversion in 
Ada.

The entry spec and body do not match. Full stop.