Re: Problem with anonymous arrays

[Lutz Donnerhacke <lutz@iks-jena.de>]

* Delf wrote:
> entry EnterGiratoire (I: Integer) when NbCarsOnRP = 0 or (NbCarsOnRP > 0
> and NbCarsOnRP < MAXCARS and I = WhoCanPass) is
>
> But gnatmake says: Giratoire.adb:35:109: "I" is undefined

I is defined AFTER the guard is passed.
If you like to provide parameters TO the guard you have to use entry families:

type Family is range 1 .. 16;
protected type XXX is
  entry EnterGiratoire(Family)(other: Parameter);
end XXX;

protected body XXX is
  entry EnterGiratoire(for I in Family)(other : Parameter)
   when ... I = WhoCanPass is
  begin
     ...
  end EnterGiratoire;
end XXX;

Please note, that entry families can be instantiated as separate procedures
for each possible value of the family parameter. So the usable range of
values is limited. GNAT allows the whole Integer range, but fails miserably
in instantiating with Storage_Error.