Re: Discriminant of a limited type object

["J-P. Rosen" <rosen@adalog.fr>]

Le 27/02/2018 à 23:53, Dmitry A. Kazakov a écrit :
>    A : T (1..N);
> begin
>    for Index in A'Range loop
>       do-init of A (Index)
>    end loop;
> 
>         |
>         V
> 
>    Index : Positive := 1;
>    function F return Element is
>    begin
>       Index := Index + 1;
>       return do-init of A (Index - 1);
>    end F;
>    A : T (1..N) := (others => F)
But this does not guarantee the order of components. I'd rather write
(changing do_init to a function):
   function Init_All (Size : Integer) return T is
   begin
      if Size = 1 then
         return (1 => do_init)
      else
         return do_init & Init_All (size - 1);
      end if;
   end;

   A : T := Init_All (N);
-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr