summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/varsize_copy.ads
blob: 9a088a9ffdfe5b8f0b1ac4225b31e278942e57d8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
package Varsize_Copy is

   type Key_Type is
      (Nul, Cntrl, Stx, Etx, Eot, Enq, Ack, Spad, Clr, Dc_1, Dc_2, Dc_3, Dc_4);

   for Key_Type use
      (Nul   => 0,
       Cntrl => 1,
       Stx   => 2,
       Etx   => 3,
       Eot   => 4,
       Enq   => 5,
       Ack   => 6,
       Spad  => 7,
       Clr   => 8,
       Dc_1  => 17,
       Dc_2  => 18,
       Dc_3  => 19,
       Dc_4  => 20);

   type Page_Type(D : Boolean := False) is record
      case D is
         when True => I : Integer;
         when False => null;
      end case;
   end record;

   function F (Key : Key_Type) return Page_Type;

end Varsize_Copy;