renaming4.ads

来自「用于进行gcc测试」· ADS 代码 · 共 16 行

package Renaming4 is

   type Big_Array is array (Natural range <>) of Integer;

   subtype Index is Natural range 1..4;
   subtype My_Array is Big_Array(Index);

   A : constant My_Array := (1, 2, 3, 4);

   subtype Small is Index range 1..2;
   subtype Small_Array is Big_Array(Small);

   B : Small_Array renames A(Index);

end Renaming4;