gcc/testsuite/gnat.dg/varsize_copy.ads

   1 package Varsize_Copy is
   2
   3    type Key_Type is
   4       (Nul, Cntrl, Stx, Etx, Eot, Enq, Ack, Spad, Clr, Dc_1, Dc_2, Dc_3, Dc_4);
   5
   6    for Key_Type use
   7       (Nul   => 0,
   8        Cntrl => 1,
   9        Stx   => 2,
  10        Etx   => 3,
  11        Eot   => 4,
  12        Enq   => 5,
  13        Ack   => 6,
  14        Spad  => 7,
  15        Clr   => 8,
  16        Dc_1  => 17,
  17        Dc_2  => 18,
  18        Dc_3  => 19,
  19        Dc_4  => 20);
  20
  21    type Page_Type(D : Boolean := False) is record
  22       case D is
  23          when True => I : Integer;
  24          when False => null;
  25       end case;
  26    end record;
  27
  28    function F (Key : Key_Type) return Page_Type;
  29
  30 end Varsize_Copy;