-- --
-- S p e c --
-- --
--- This specification is adapted from the Ada Reference Manual for use with --
+-- This specification is derived from the Ada Reference Manual for use with --
-- GNAT. In accordance with the copyright of that document, you can freely --
-- copy and modify this specification, provided that if you redistribute a --
-- modified version, any changes that you have made are clearly indicated. --
generic
type T (<>) is abstract tagged limited private;
type Parameters (<>) is limited private;
- with function Constructor (Params : access Parameters) return T is abstract;
+ with function Constructor (Params : not null access Parameters) return T
+ is abstract;
function Ada.Tags.Generic_Dispatching_Constructor
- (The_Tag : Tag; Params : access Parameters) return T'Class;
+ (The_Tag : Tag;
+ Params : not null access Parameters) return T'Class;
pragma Preelaborate_05 (Generic_Dispatching_Constructor);
pragma Import (Intrinsic, Generic_Dispatching_Constructor);
-- Note: the reason that we use Preelaborate_05 here is so that this will