aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg/opt41_pkg.ads
blob: e73bc9319270c808409322bb482c7574fb3bb14e (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
with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;

package Opt41_Pkg is

   type Enum is (One, Two, Three, Four, Five, Six);

   type Rec (D : Enum) is record
      case D is
         when One => 
            I : Integer;
         when Two | Five | Six =>
            S : Unbounded_String;
            case D is
               when Two => B : Boolean;
               when others => null;
            end case;
         when others =>
            null;
      end case;
   end record;

   type Rec_Ptr is access all Rec;

   function Rec_Write (R : Rec) return Unbounded_String;

   function Rec_Read (Str : String_Access) return Rec;

end Opt41_Pkg;