summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/generic_dispatch_p.ads
blob: fe6115dd9c7bdfcccaafc834cbfeedd828ed04a2 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
with Ada.Tags.Generic_Dispatching_Constructor;
package generic_dispatch_p is
   type Iface is interface;
   function Constructor (I : not null access Integer) return Iface is abstract;
   function Dispatching_Constructor
      is new Ada.Tags.Generic_Dispatching_Constructor
               (T           => Iface,
                Parameters  => Integer,
                Constructor => Constructor);
   type DT is new Iface with null record; 
   overriding
   function Constructor (I : not null access Integer) return DT;
end;