1 with Ada.Tags.Generic_Dispatching_Constructor;
2 package generic_dispatch_p is
3 type Iface is interface;
4 function Constructor (I : not null access Integer) return Iface is abstract;
5 function Dispatching_Constructor
6 is new Ada.Tags.Generic_Dispatching_Constructor
9 Constructor => Constructor);
10 type DT is new Iface with null record;
12 function Constructor (I : not null access Integer) return DT;