CVS difference for ai12s/ai12-0302-1.txt

Differences between 1.8 and version 1.9
Log of other versions for file ai12s/ai12-0302-1.txt

--- ai12s/ai12-0302-1.txt	2020/06/17 00:20:21	1.8
+++ ai12s/ai12-0302-1.txt	2020/08/01 05:40:52	1.9
@@ -1,4 +1,111 @@
-!standard A(15)                                  20-06-15  AI12-0302-1/06
+!standard 3.9(6/2)                               20-07-21  AI12-0302-1/07
+!standard 3.9(18.2/3)
+!standard 9.6(10)
+!standard 9.6.1(2/2)
+!standard 9.6.1(8/2)
+!standard 9.6.1(15/2)
+!standard 11.4.1(2/2)
+!standard 13.7.2(2)
+!standard 13.11.2(3/3)
+!standard 13.13.1(9)
+!standard 13.13.4(3/3)
+!standard 13.13.4(10/3)
+!standard 13.13.4(11/3)
+!standard 13.13.5(3/3)
+!standard A.4.3(5)
+!standard A.4.4(3)
+!standard A.4.5(3)
+!standard A.4.7(3)
+!standard A.4.7(46.2/2)
+!standard A.4.8(3)
+!standard A.4.8(50/2)
+!standard A.4.9(7/3)
+!standard A.4.9(10/3)
+!standard A.4.9(11.7/3)
+!standard A.4.9(11.10/3)
+!standard A.4.10(7/3)
+!standard A.4.10(10/3)
+!standard A.4.10(18/3)
+!standard A.4.10(21/3)
+!standard A.5.2(5)
+!standard A.5.2(8)
+!standard A.5.2(9)
+!standard A.5.2(12)
+!standard A.5.2(17)
+!standard A.5.2(20)
+!standard A.5.2(21)
+!standard A.5.2(24)
+!standard A.5.6(0)
+!standard A.5.7(0)
+!standard A.8.1(2)
+!standard A.8.1(10.1/4)
+!standard A.8.1(12)
+!standard A.8.4(2)
+!standard A.8.4(10.1/4)
+!standard A.8.4(12)
+!standard A.8.4(13)
+!standard A.8.4(14)
+!standard A.9(3)
+!standard A.10.1(2)
+!standard A.10.1(21/1)
+!standard A.10.1(23)
+!standard A.10.1(24)
+!standard A.10.1(25)
+!standard A.10.1(26)
+!standard A.10.1(28)
+!standard A.10.1(29)
+!standard A.10.1(30)
+!standard A.10.1(31)
+!standard A.10.1(32)
+!standard A.10.1(35)
+!standard A.10.1(36)
+!standard A.10.1(37)
+!standard A.10.1(38)
+!standard A.10.1(39)
+!standard A.10.11(3/2)
+!standard A.10.12(3/2)
+!standard A.12.1(3/3)
+!standard A.12.1(15)
+!standard A.12.1(16)
+!standard A.12.1(18)
+!standard A.12.1(19) 
+!standard A.12.1(22)
+!standard A.12.2(3)
+!standard A.12.3(3)
+!standard A.12.4(3/2)
+!standard A.15(3)
+!standard A.16(3/2)
+!standard A.16.1(3/3)
+!standard A.17(3/2)
+!standard B.3.1(3)
+!standard B.3.2(4)
+!standard B.4(7)
+!standard C.3.2(2/3)
+!standard C.3.2(12)
+!standard C.7.1(2/2)
+!standard C.7.2(2)
+!standard C.7.3(2/2)
+!standard D.2.1(1.2/3)
+!standard D.2.4(2.2/3)
+!standard D.2.5(4/2)
+!standard D.2.6(9/2)
+!standard D.5.1(3/2)
+!standard D.8(3)
+!standard D.10(3/2)
+!standard D.10(5.2/3)
+!standard D.10.1(3/3)
+!standard D.11(3/2)
+!standard D.14(3/2)
+!standard D.14.1(3/2)
+!standard D.14.2(3/2)
+!standard D.14.3(3/3)
+!standard D.15(3/2)
+!standard D.16(3/3)
+!standard D.16.1(3/3)
+!standard E.5(3)
+!standard E.5(23)
+!standard F.3.3(3)
+!standard G.1.3(3)
 !class Amendment 19-01-10
 !status Amendment 1-2012 19-10-30
 !status ARG Approved 10-0-3  20-06-13
@@ -167,7 +274,7 @@
 
 Modify current input/output versions of:
 
-  Set_Line_Length, Set_Page_Length, New_Line, Skip_Line,
+  Flush, Set_Line_Length, Set_Page_Length, New_Line, Skip_Line,
   New_Page, Skip_Page, Set_Col, Set_Line,
   Put, Get, Put_Line, Get_Line, Look_Ahead, Get_Immediate
 
@@ -176,7 +283,7 @@
 
 Modify File_Type versions of
 
-  Set_Line_Length, Set_Page_Length, New_Line, Skip_Line,
+  Flush, Set_Line_Length, Set_Page_Length, New_Line, Skip_Line,
   New_Page, Skip_Page, Set_Col, Set_Line,
   Put, Get, Put_Line, Get_Line, Look_Ahead, Get_Immediate
 
@@ -228,6 +335,7 @@
      Synchronized_Queue_Interfaces
             -- A.18.27
     Decimal -- F.2
+    Finalization -- 7.6
     IO_Exceptions -- A.13
     Iterator_Interfaces -- 5.5.1
     Locales -- A.19
@@ -246,6 +354,7 @@
       Real_Arrays -- G.3.1
     Streams -- 13.13.1
       Storage -- 13.13.1
+        Bounded -- 13.13.1
     Strings -- A.4.1
       Equal_Case_Insensitive -- A.4.10
       Hash -- A.4.9
@@ -275,7 +384,6 @@
       Handling -- A.3.6
   Interfaces -- B.2
     C -- B.3
-    COBOL -- B.4
     Fortran -- B.5
   System -- 13.7
     Atomic_Operations -- C.6.1
@@ -283,6 +391,7 @@
       Exchange -- C.6.2
       Test_And_Set -- C.6.2
     Storage_Elements -- 13.7.1
+    Storage_Pools -- 13.11
 
 -----------------
 The following units are not Pure and need a Global specification of
@@ -337,7 +446,6 @@
       Group_Budgets -- D.14.2
       Interrupts -- D.14.3
       Timers -- D.14.1
-    Finalization -- 7.6
     Float_Text_IO -- A.10.9
     Float_Wide_Text_IO -- A.11
     Float_Wide_Wide_Text_IO -- A.11
@@ -356,9 +464,9 @@
     Sequential_IO -- A.8.1
     Storage_IO -- A.9
     [Streams]
-      Bounded -- 13.13.1
       Stream_IO -- A.12.1
-      Unbounded -- 13.13.1
+      [Storage]
+         Unbounded -- 13.13.1
     [Strings]
       Bounded -- A.4.4
         Equal_Case_Insensitive -- A.4.10
@@ -450,13 +558,14 @@
     [C]
       Pointers -- B.3.2
       Strings -- B.3.1
+    COBOL -- B.4
   [System]
     Address_To_Access_Conversions -- 13.7.2
     Machine_Code -- 13.8
     Multiprocessors -- D.16
       Dispatching_Domains -- D.16.1
     RPC -- E.5
-    Storage_Pools -- 13.11
+    [Storage_Pools]
       Subpools -- 13.11.4
 
 !discussion
@@ -472,6 +581,965 @@
 being updated that is designated by the given Param.
 
 See the !proposal for more discussion and rationale.
+
+!corrigendum 3.9(6/2)
+
+@drepl
+@xcode<@b<package> Ada.Tags @b<is>
+    @b<pragma> Preelaborate(Tags);
+    @b<type> Tag @b<is private>;
+    @b<pragma> Preelaborable_Initialization(Tag);>
+@dby
+@xcode<@b<package> Ada.Tags
+    @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>
+    @b<type> Tag @b<is private>;
+    @b<pragma> Preelaborable_Initialization(Tag);>
+
+!corrigendum 3.9(18.2/3)
+
+@drepl
+@xcode<@b<generic>
+    @b<type> T (<@>) @b<is abstract tagged limited private>;
+    @b<type> Parameters (<@>) @b<is limited private>;
+    @b<with function> Constructor (Params : @b<not null access> Parameters)
+        @b<return> T @b<is abstract>;
+@b<function> Ada.Tags.Generic_Dispatching_Constructor
+   (The_Tag : Tag;
+    Params  : @b<not null access> Parameters) @b<return> T'Class
+   @b<with> Convention =@> Intrinsic;
+@b<pragma> Preelaborate(Generic_Dispatching_Constructor);>
+@dby
+@xcode<@b<generic>
+    @b<type> T (<@>) @b<is abstract tagged limited private>;
+    @b<type> Parameters (<@>) @b<is limited private>;
+    @b<with function> Constructor (Params : @b<not null access> Parameters)
+        @b<return> T @b<is abstract>;
+@b<function> Ada.Tags.Generic_Dispatching_Constructor
+   (The_Tag : Tag;
+    Params  : @b<not null access> Parameters) @b<return> T'Class
+   @b<with> Preelaborate, Convention =@> Intrinsic,
+        Nonblocking, Global =@> @b<in out synchronized>;>
+
+
+!corrigendum 9.6(10)
+
+@drepl
+@xcode<
+@b<package> Ada.Calendar @b<is>
+  @b<type> Time @b<is private>;>
+@dby
+@xcode<
+@b<package> Ada.Calendar 
+  @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>
+  @b<type> Time @b<is private>;>
+
+!corrigendum 9.6.1(2/2)
+
+@drepl
+@xcode<@b<package> Ada.Calendar.Time_Zones @b<is>>
+@dby
+@xcode<@b<package> Ada.Calendar.Time_Zones
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum 9.6.1(8/2)
+
+@drepl
+@xcode<
+@b<package> Ada.Calendar.Arithmetic @b<is>>
+@dby
+@xcode<
+@b<package> Ada.Calendar.Arithmetic
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum 9.6.1(15/2)
+
+@drepl
+@xcode<
+@b<with> Ada.Calendar.Time_Zones;
+@b<package> Ada.Calendar.Formatting @b<is>>
+@dby
+@xcode<
+@b<with> Ada.Calendar.Time_Zones;
+@b<package> Ada.Calendar.Formatting
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+
+!corrigendum 11.4.1(2/2)
+
+@drepl
+@xcode<@b<with> Ada.Streams;
+@b<package> Ada.Exceptions @b<is>
+    @b<pragma> Preelaborate(Exceptions);
+    @b<type> Exception_Id @b<is private>;
+    @b<pragma> Preelaborable_Initialization(Exception_Id);
+    Null_Id : @b<constant> Exception_Id;
+    @b<function> Exception_Name(Id : Exception_Id) @b<return> String;
+    @b<function> Wide_Exception_Name(Id : Exception_Id) @b<return> Wide_String;
+    @b<function> Wide_Wide_Exception_Name(Id : Exception_Id)
+        @b<return> Wide_Wide_String;>
+@dby
+@xcode<@b<with> Ada.Streams;
+@b<package> Ada.Exceptions
+    @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>
+    @b<type> Exception_Id @b<is private>;
+    @b<pragma> Preelaborable_Initialization(Exception_Id);
+    Null_Id : @b<constant> Exception_Id;
+    @b<function> Exception_Name(Id : Exception_Id) @b<return> String;
+    @b<function> Wide_Exception_Name(Id : Exception_Id) @b<return> Wide_String;
+    @b<function> Wide_Wide_Exception_Name(Id : Exception_Id)
+        @b<return> Wide_Wide_String;>
+
+
+!corrigendum 13.7.2(2)
+
+@drepl
+@xcode<@b<generic>
+    @b<type> Object(<@>) @b<is limited private>;
+@b<package> System.Address_To_Access_Conversions @b<is>
+   @b<pragma> Preelaborate(Address_To_Access_Conversions);>
+@dby
+@xcode<@b<generic>
+   @b<type> Object(<@>) @b<is limited private>;
+@b<package> System.Address_To_Access_Conversions
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum 13.11.2(3/3)
+
+@drepl
+@xcode<@b<generic>
+   @b<type> Object(<@>) @b<is limited private>;
+   @b<type> Name   @b<is access>  Object;
+@b<procedure> Ada.Unchecked_Deallocation(X : @b<in out> Name)
+   @b<with> Convention =@> Intrinsic;
+@b<pragma> Preelaborate(Ada.Unchecked_Deallocation);>
+@dby
+@xcode<@b<generic>
+   @b<type> Object(<@>) @b<is limited private>;
+   @b<type> Name   @b<is access>  Object;
+@b<procedure> Ada.Unchecked_Deallocation(X : @b<in out> Name)
+   @b<with> Preelaborate, Nonblocking, Convention =@> Intrinsic, Global =@> @b<in out synchronized>;>
+
+!corrigendum 13.13.1(9)
+
+@dinsa
+The Write operation appends Item to the specified stream.
+@dinss
+See the conflict file for the text.
+
+!corrigendum 13.11.4(3/3)
+
+@drepl
+@xcode<@b<package> System.Storage_Pools.Subpools @b<is>
+   @b<pragma< Preelaborate (Subpools);>
+@dby
+@xcode<@b<package> System.Storage_Pools.Subpools
+   @b<with> Preelaborate, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum 13.11.4(10/3)
+
+@drepl
+@xcode<   @b<procedure> Set_Pool_of_Subpool (
+      Subpool : @b<in not null> Subpool_Handle;
+      To : @b<in out> Root_Storage_Pool_With_Subpools'Class);>
+@dby
+@xcode<   @b<procedure> Set_Pool_of_Subpool (
+      Subpool : @b<in not null> Subpool_Handle;
+      To : @b<in out> Root_Storage_Pool_With_Subpools'Class)
+        @b<with> Global =@> @b<overriding in out> Subpool;>
+
+!corrigendum 13.11.4(11/3)
+
+@drepl
+@xcode<   @b<procedure> Allocate_From_Subpool (
+      Pool : @b<in out> Root_Storage_Pool_With_Subpools;
+      Storage_Address : @b<out> Address;
+      Size_In_Storage_Elements : @b<in> Storage_Elements.Storage_Count;
+      Alignment : @b<in> Storage_Elements.Storage_Count;
+      Subpool : @b<in not null> Subpool_Handle) @b<is abstract>
+         @b<with> Pre'Class =@> Pool_of_Subpool(Subpool) = Pool'Access;>
+@dby
+@xcode<   @b<procedure> Allocate_From_Subpool (
+      Pool : @b<in out> Root_Storage_Pool_With_Subpools;
+      Storage_Address : @b<out> Address;
+      Size_In_Storage_Elements : @b<in> Storage_Elements.Storage_Count;
+      Alignment : @b<in> Storage_Elements.Storage_Count;
+      Subpool : @b<in not null> Subpool_Handle) @b<is abstract>
+         @b<with> Pre'Class =@> Pool_of_Subpool(Subpool) = Pool'Access,
+              Global =@> @b<overriding in out> Subpool;>
+
+!corrigendum 13.11.5(3/3)
+!comment see the AARM note for why this is "in out all".
+
+@drepl
+@xcode<@b<with> System.Storage_Pools.Subpools;
+@b<procedure> Ada.Unchecked_Deallocate_Subpool
+   (Subpool : @b<in out> System.Storage_Pools.Subpools.Subpool_Handle);>
+@dby
+@xcode<@b<with> System.Storage_Pools.Subpools;
+@b<procedure> Ada.Unchecked_Deallocate_Subpool
+   (Subpool : @b<in out> System.Storage_Pools.Subpools.Subpool_Handle)
+   @b<with> Global =@> @b<in out all>;>
+
+
+!corrigendum A.4.3(5)
+
+@drepl
+@xcode<@b<with> Ada.Strings.Maps;
+@b<package> Ada.Strings.Fixed @b<is>
+   @b<pragma> Preelaborate(Fixed);>
+@dby
+@xcode<@b<with> Ada.Strings.Maps;
+@b<package> Ada.Strings.Fixed
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum A.4.4(3)
+
+@drepl
+@xcode<@b<with> Ada.Strings.Maps;
+@b<package> Ada.Strings.Bounded @b<is>
+   @b<pragma> Preelaborate(Bounded);>
+@dby
+@xcode<@b<with> Ada.Strings.Maps;
+@b<package> Ada.Strings.Bounded
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum A.4.5(3)
+
+@drepl
+@xcode<@b<with> Ada.Strings.Maps;
+@b<package> Ada.Strings.Unbounded @b<is>
+   @b<pragma> Preelaborate(Unbounded);>
+@dby
+@xcode<@b<with> Ada.Strings.Maps;
+@b<package> Ada.Strings.Unbounded
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum A.4.7(3)
+
+@drepl
+@xcode<@b<package> Ada.Strings.Wide_Maps @b<is>
+   @b<pragma> Preelaborate(Wide_Maps);>
+@dby
+@xcode<@b<package> Ada.Strings.Wide_Maps
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum A.4.7(46.2/2)
+
+@drepl
+@fa<Pragma> Pure is replaced by pragma Preelaborate in Strings.Wide_Maps.Wide_Constants.
+@dby
+@fa<Pragma> Pure is replaced by aspects @fc<@b<with> Preelaborate, Nonblocking,
+Global =@> @b<in out synchronized>> in Strings.Wide_Maps.Wide_Constants.
+
+!corrigendum A.4.8(3/2)
+
+@drepl
+@xcode<@b<package> Ada.Strings.Wide_Wide_Maps @b<is>
+   @b<pragma> Preelaborate(Wide_Wide_Maps);>
+@dby
+@xcode<@b<package> Ada.Strings.Wide_Wide_Maps
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum A.4.8(50/2)
+
+@drepl
+@fa<Pragma> Pure is replaced by pragma Preelaborate in Strings.Wide_Maps.Wide_Constants.
+@dby
+@fa<Pragma> Pure is replaced by aspects @fc<@b<with> Preelaborate, Nonblocking,
+Global =@> @b<in out synchronized>> in Strings.Wide_Wide_Maps.Wide_Wide_Constants.
+
+!corrigendum A.4.9(7/3)
+
+@drepl
+@xcode<@b<with> Ada.Containers;
+@b<generic>
+   @b<with package> Bounded @b<is>
+      @b<new> Ada.Strings.Bounded.Generic_Bounded_Length (<@>);
+@b<function> Ada.Strings.Bounded.Hash (Key : Bounded.Bounded_String)
+   @b<return> Containers.Hash_Type;
+@b<pragma> Preelaborate(Ada.Strings.Bounded.Hash);>
+@dby
+@xcode<@b<with> Ada.Containers;
+@b<generic>
+   @b<with package> Bounded @b<is>
+      @b<new> Ada.Strings.Bounded.Generic_Bounded_Length (<@>);
+@b<function> Ada.Strings.Bounded.Hash (Key : Bounded.Bounded_String)
+   @b<return> Containers.Hash_Type
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized>;>
+
+!corrigendum A.4.9(10/3)
+
+@drepl
+@xcode<@b<with> Ada.Containers;
+@b<function> Ada.Strings.Unbounded.Hash (Key : Unbounded_String)
+   @b<return> Containers.Hash_Type;
+@b<pragma> Preelaborate(Ada.Strings.Unbounded.Hash);>
+@dby
+@xcode<@b<with> Ada.Containers;
+@b<function> Ada.Strings.Unbounded.Hash (Key : Unbounded_String)
+   @b<return> Containers.Hash_Type
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized>;>
+
+!corrigendum A.4.9(11.7/3)
+
+@drepl
+@xcode<@b<with> Ada.Containers;
+@b<generic>
+   @b<with package> Bounded @b<is>
+      @b<new> Ada.Strings.Bounded.Generic_Bounded_Length (<@>);
+@b<function> Ada.Strings.Bounded.Hash_Case_Insensitive
+   (Key : Bounded.Bounded_String) @b<return> Containers.Hash_Type;
+@b<pragma> Preelaborate(Ada.Strings.Bounded.Hash_Case_Insensitive);>
+@dby
+@xcode<@b<with> Ada.Containers;
+@b<generic>
+   @b<with package> Bounded @b<is>
+      @b<new> Ada.Strings.Bounded.Generic_Bounded_Length (<@>);
+@b<function> Ada.Strings.Bounded.Hash_Case_Insensitive
+   (Key : Bounded.Bounded_String) @b<return> Containers.Hash_Type
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized>;>
+
+!corrigendum A.4.9(11.10/3)
+
+@drepl
+@xcode<@b<with> Ada.Containers;
+@b<function> Ada.Strings.Unbounded.Hash_Case_Insensitive
+   (Key : Unbounded_String) @b<return> Containers.Hash_Type;
+@b<pragma> Preelaborate(Ada.Strings.Unbounded.Hash_Case_Insensitive);>
+@dby
+@xcode<@b<with> Ada.Containers;
+@b<function> Ada.Strings.Unbounded.Hash_Case_Insensitive
+   (Key : Unbounded_String) @b<return> Containers.Hash_Type
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized>;>
+
+!corrigendum A.4.10(7/3)
+
+@drepl
+@xcode<@b<generic>
+   @b<with package> Bounded @b<is>
+      @b<new> Ada.Strings.Bounded.Generic_Bounded_Length (<@>);
+@b<function> Ada.Strings.Bounded.Equal_Case_Insensitive
+   (Left, Right : Bounded.Bounded_String) @b<return> Boolean;
+@b<pragma> Preelaborate(Ada.Strings.Bounded.Equal_Case_Insensitive);>
+@dby
+@xcode<@b<generic>
+   @b<with package> Bounded @b<is>
+      @b<new> Ada.Strings.Bounded.Generic_Bounded_Length (<@>);
+@b<function> Ada.Strings.Bounded.Equal_Case_Insensitive
+   (Left, Right : Bounded.Bounded_String) @b<return> Boolean
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized>;>
+
+!corrigendum A.4.10(10/3)
+
+@drepl
+@xcode<@b<function> Ada.Strings.Unbounded.Equal_Case_Insensitive
+   (Left, Right : Unbounded_String) @b<return> Boolean;
+@b<pragma> Preelaborate(Ada.Strings.Unbounded.Equal_Case_Insensitive);>
+@dby
+@xcode<@b<function> Ada.Strings.Unbounded.Equal_Case_Insensitive
+   (Left, Right : Unbounded_String) @b<return> Boolean
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized>;>
+
+!corrigendum A.4.10(18/3)
+
+@drepl
+@xcode<@b<generic>
+   @b<with package> Bounded @b<is>
+      @b<new> Ada.Strings.Bounded.Generic_Bounded_Length (<@>);
+@b<function> Ada.Strings.Bounded.Less_Case_Insensitive
+  (Left, Right : Bounded.Bounded_String) @b<return> Boolean;
+@b<pragma> Preelaborate(Ada.Strings.Bounded.Less_Case_Insensitive);>
+@dby
+@xcode<@b<generic>
+   @b<with package> Bounded @b<is>
+      @b<new> Ada.Strings.Bounded.Generic_Bounded_Length (<@>);
+@b<function> Ada.Strings.Bounded.Less_Case_Insensitive
+  (Left, Right : Bounded.Bounded_String) @b<return> Boolean
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized>;>
+
+!corrigendum A.4.10(21/3)
+
+@drepl
+@xcode<@b<function> Ada.Strings.Unbounded.Less_Case_Insensitive
+  (Left, Right : Unbounded_String) @b<return> Boolean;
+@b<pragma> Preelaborate(Ada.Strings.Unbounded.Less_Case_Insensitive);>
+@dby
+@xcode<@b<function> Ada.Strings.Unbounded.Less_Case_Insensitive
+  (Left, Right : Unbounded_String) @b<return> Boolean
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized>;>
+
+!corrigendum A.5.2(5)
+
+@drepl
+@xcode<@b<package> Ada.Numerics.Float_Random @b<is>>
+@dby
+@xcode<@b<package> Ada.Numerics.Float_Random
+   @b<with> Global =@> @b<in out synchronized> @b<is>>
+
+!comment A.5.2(8) is not provided here.
+!comment A.5.2(9) is not provided here.
+!comment A.5.2(12) is not provided here.
+
+!corrigendum A.5.2(17)
+
+@drepl
+@xcode<@b<generic>
+   @b<type> Result_Subtype @b<is> (<@>);
+@b<package> Ada.Numerics.Discrete_Random @b<is>>
+@dby
+@xcode<@b<generic>
+   @b<type> Result_Subtype @b<is> (<@>);
+@b<package> Ada.Numerics.Discrete_Random
+   @b<with> Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum A.5.2(20)
+
+@drepl
+@xcode<   @b<function> Random (Gen : Generator) @b<return> Result_Subtype;>
+@dby
+@xcode<   @b<function> Random (Gen : Generator) @b<return> Result_Subtype
+      @b<with> Global =@> @b<overriding in out> Gen;>
+
+@xcode<   @b<function> Random (Gen   : Generator;
+                    First : Result_Subtype;
+                    Last  : Result_Subtype) @b<return> Result_Subtype
+      @b<with> Post =@> Random'Result @b<in> First .. Last
+           Global =@> @b<overriding in out> Gen;>
+
+!comment A.5.2(21) is not provided here.
+!comment A.5.2(24) is not provided here.
+
+
+!corrigendum A.5.6(0)
+
+@dinsc
+See the conflict file for the changes.
+
+!corrigendum A.5.7(0)
+
+@dinsc
+See the conflict file for the changes.
+
+!comment A.8.1(2) is not provided here.
+!comment A.8.1(10.1/4) is not provided here.
+!comment A.8.1(12) is not provided here.
+
+!comment A.8.4(2) is not provided here.
+!comment A.8.4(10.1/4) is not provided here.
+!comment A.8.4(12) is not provided here.
+!comment A.8.4(13) is not provided here.
+!comment A.8.4(14) is not provided here.
+
+!comment A.9(3) is not provided here.
+
+!comment A.10.1(2) not provided here.
+!comment A.10.1(21/1) not provided here.
+!comment A.10.1(23) not provided here.
+!comment A.10.1(24) not provided here.
+!comment A.10.1(25) not provided here.
+!comment A.10.1(26) not provided here.
+!comment A.10.1(28) not provided here.
+!comment A.10.1(29) not provided here.
+!comment A.10.1(30) not provided here.
+!comment A.10.1(31) not provided here.
+!comment A.10.1(32) not provided here.
+!comment A.10.1(35) not provided here.
+!comment A.10.1(36) not provided here.
+!comment A.10.1(37) not provided here.
+!comment A.10.1(38) not provided here.
+!comment A.10.1(39) not provided here.
+
+
+Within A.10.1, Text_IO:
+
+Modify current input/output versions of:
+
+  Put, Get, Put_Line, Get_Line, Look_Ahead, Get_Immediate
+
+to have:
+  with Global => in out all;
+
+Modify File_Type versions of
+
+  Put, Get, Put_Line, Get_Line, Look_Ahead, Get_Immediate
+
+to have
+  with Global => overriding in out File;
+
+!comment A.10.11(3/2) is not provided here.
+!comment A.10.12(3/2) is not provided here.
+
+!comment A.12.1(3/3) is not provided here.
+!comment A.12.1(15) is not provided here.
+!comment A.12.1(16) is not provided here.
+!comment A.12.1(18) is not provided here.
+!comment A.12.1(19) is not provided here.
+!comment A.12.1(22) is not provided here.
+
+!comment A.12.2(3) is not provided here.
+!comment A.12.3(3) is not provided here.
+!comment A.12.4(3/2) is not provided here.
+
+
+
+!corrigendum A.15(3)
+
+@drepl
+@xcode<@b<package> Ada.Command_Line @b<is>
+   @b<pragma> Preelaborate(Command_Line);>
+@dby
+@xcode<@b<package> Ada.Command_Line
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+
+!corrigendum A.16(3/2)
+
+@drepl
+@xcode<@b<with> Ada.IO_Exceptions;
+@b<with> Ada.Calendar;
+@b<package> Ada.Directories @b<is>>
+@dby
+@xcode<@b<with> Ada.IO_Exceptions;
+@b<with> Ada.Calendar;
+@b<package> Ada.Directories
+   @b<with> Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum A.16.1(3/3)
+
+@drepl
+@xcode<@b<package> Ada.Directories.Hierarchical_File_Names @b<is>>
+@dby
+@xcode<@b<package> Ada.Directories.Hierarchical_File_Names
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum A.17(3/2)
+
+@drepl
+@xcode<@b<package> Ada.Environment_Variables @b<is>
+   @b<pragma> Preelaborate(Environment_Variables);>
+@dby
+@xcode<@b<package> Ada.Environment_Variables
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+
+
+!corrigendum B.3.1(3)
+
+@drepl
+@xcode<@b<package> Interfaces.C.Strings @b<is>
+   @b<pragma> Preelaborate(Strings);>
+@dby
+@xcode<@b<package> Interfaces.C.Strings
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum B.3.2(4)
+
+@drepl
+@xcode<@b<generic>
+   @b<type> Index @b<is> (<@>);
+   @b<type> Element @b<is private>;
+   @b<type> Element_Array @b<is array> (Index @b<range> <@>) @b<of aliased> Element;
+   Default_Terminator : Element;
+@b<package> Interfaces.C.Pointers @b<is>
+   @b<pragma> Preelaborate(Pointers);>
+@dby
+@xcode<@b<generic>
+   @b<type> Index @b<is> (<@>);
+   @b<type> Element @b<is private>;
+   @b<type> Element_Array @b<is array> (Index @b<range> <@>) @b<of aliased> Element;
+   Default_Terminator : Element;
+@b<package> Interfaces.C.Pointers
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum B.4(7)
+
+@drepl
+@xcode<@b<package> Interfaces.COBOL @b<is>
+   @b<pragma> Preelaborate(COBOL);>
+@dby
+@xcode<@b<package> Interfaces.COBOL
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+
+!corrigendum C.3.2(2/3)
+
+@drepl
+@xcode<@b<with> System;
+@b<with> System.Multiprocessors;
+@b<package> Ada.Interrupts @b<is>
+   @b<type> Interrupt_Id @b<is> @ft<@i<implementation-defined>>;
+   @b<type> Parameterless_Handler @b<is>
+      @b<access protected procedure>;>
+@dby
+@xcode<@b<with> System;
+@b<with> System.Multiprocessors;
+@b<package> Ada.Interrupts
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>
+   @b<type> Interrupt_Id @b<is> @ft<@i<implementation-defined>>;
+   @b<type> Parameterless_Handler @b<is>
+      @b<access protected procedure>
+      @b<with> Nonblocking =@> False;>
+
+!corrigendum C.3.2(12)
+
+@drepl
+@xcode<@b<package> Ada.Interrupts.Names @b<is>
+   @ft<@i<implementation-defined>> : @b<constant> Interrupt_Id :=
+     @ft<@i<implementation-defined>>;
+      . . .
+   @ft<@i<implementation-defined>> : @b<constant> Interrupt_Id :=
+     @ft<@i<implementation-defined>>;
+@b<end> Ada.Interrupts.Names;>
+@dby
+@xcode<@b<package> Ada.Interrupts.Names 
+   @b<with> Nonblocking, Global =@> @b<null> @b<is>
+   @ft<@i<implementation-defined>> : @b<constant> Interrupt_Id :=
+     @ft<@i<implementation-defined>>;
+      . . .
+   @ft<@i<implementation-defined>> : @b<constant> Interrupt_Id :=
+     @ft<@i<implementation-defined>>;
+@b<end> Ada.Interrupts.Names;>
+
+!corrigendum C.7.1(2/2)
+
+@drepl
+@xcode<@b<package> Ada.Task_Identification @b<is>
+   @b<pragma> Preelaborate(Task_Identification);
+   @b<type> Task_Id @b<is private>;
+   @b<pragma> Preelaborable_Initialization (Task_Id);
+   Null_Task_Id : @b<constant> Task_Id;
+   @b<function>  "=" (Left, Right : Task_Id) @b<return> Boolean;>
+@dby
+@xcode<@b<package> Ada.Task_Identification
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>
+   @b<type> Task_Id @b<is private>;
+   @b<pragma> Preelaborable_Initialization (Task_Id);
+   Null_Task_Id : @b<constant> Task_Id;
+   @b<function>  "=" (Left, Right : Task_Id) @b<return> Boolean;>
+
+!corrigendum C.7.2(2)
+
+@drepl
+@xcode<@b<with> Ada.Task_Identification; @b<use> Ada.Task_Identification;
+@b<generic>
+   @b<type> Attribute @b<is private>;
+   Initial_Value : @b<in> Attribute;
+@b<package> Ada.Task_Attributes @b<is>>
+@dby
+@xcode<@b<with> Ada.Task_Identification; @b<use> Ada.Task_Identification;
+@b<generic>
+   @b<type> Attribute @b<is private>;
+   Initial_Value : @b<in> Attribute;
+@b<package> Ada.Task_Attributes
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum C.7.3(2/2)
+
+@drepl
+@xcode<@b<with> Ada.Task_Identification;
+@b<with> Ada.Exceptions;
+@b<package> Ada.Task_Termination @b<is>
+   @b<pragma> Preelaborate(Task_Termination);>
+@dby
+@xcode<@b<with> Ada.Task_Identification;
+@b<with> Ada.Exceptions;
+@b<package> Ada.Task_Termination
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+
+!corrigendum D.2.1(1.2/3)
+
+@drepl
+@xcode<@b<package> Ada.Dispatching @b<is>
+  @b<pragma> Preelaborate(Dispatching);>
+@dby
+@xcode<@b<package> Ada.Dispatching
+  @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum D.2.4(2.2/3)
+
+@drepl
+@xcode<@b<package> Ada.Dispatching.Non_Preemptive @b<is>
+   @b<pragma> Preelaborate(Non_Preemptive);
+   @b<procedure> Yield_To_Higher;
+   @b<procedure> Yield_To_Same_Or_Higher @b<renames> Yield;
+@b<end> Ada.Dispatching.Non_Preemptive;>
+@dby
+@xcode<@b<package> Ada.Dispatching.Non_Preemptive
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>
+   @b<procedure> Yield_To_Higher;
+   @b<procedure> Yield_To_Same_Or_Higher @b<renames> Yield;
+@b<end> Ada.Dispatching.Non_Preemptive;>
+
+!corrigendum D.2.5(4/2)
+
+@drepl
+@xcode<@b<with> System;
+@b<with> Ada.Real_Time;
+@b<package> Ada.Dispatching.Round_Robin @b<is>
+  Default_Quantum : @b<constant> Ada.Real_Time.Time_Span :=
+             @ft<@i<implementation-defined>>;
+  @b<procedure> Set_Quantum (Pri     : @b<in> System.Priority;
+                         Quantum : @b<in> Ada.Real_Time.Time_Span);
+  @b<procedure> Set_Quantum (Low, High : @b<in> System.Priority;
+                         Quantum   : @b<in> Ada.Real_Time.Time_Span);
+  @b<function> Actual_Quantum (Pri : System.Priority)
+             @b<return> Ada.Real_Time.Time_Span;
+  @b<function> Is_Round_Robin (Pri : System.Priority) @b<return> Boolean;
+@b<end> Ada.Dispatching.Round_Robin;>
+@dby
+@xcode<@b<with> System;
+@b<with> Ada.Real_Time;
+@b<package> Ada.Dispatching.Round_Robin
+  @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>
+  Default_Quantum : @b<constant> Ada.Real_Time.Time_Span :=
+             @ft<@i<implementation-defined>>;
+  @b<procedure> Set_Quantum (Pri     : @b<in> System.Priority;
+                         Quantum : @b<in> Ada.Real_Time.Time_Span);
+  @b<procedure> Set_Quantum (Low, High : @b<in> System.Priority;
+                         Quantum   : @b<in> Ada.Real_Time.Time_Span);
+  @b<function> Actual_Quantum (Pri : System.Priority)
+             @b<return> Ada.Real_Time.Time_Span;
+  @b<function> Is_Round_Robin (Pri : System.Priority) @b<return> Boolean;
+@b<end> Ada.Dispatching.Round_Robin;>
+
+!corrigendum D.2.6(9/2)
+
+@drepl
+@xcode<@b<with> Ada.Real_Time;
+@b<with> Ada.Task_Identification;
+@b<package> Ada.Dispatching.EDF @b<is>
+  @b<subtype> Deadline @b<is> Ada.Real_Time.Time;
+  Default_Deadline : @b<constant> Deadline :=
+              Ada.Real_Time.Time_Last;
+  @b<procedure> Set_Deadline (D : @b<in> Deadline;
+              T : @b<in> Ada.Task_Identification.Task_Id :=
+              Ada.Task_Identification.Current_Task);
+  @b<procedure> Delay_Until_And_Set_Deadline (
+              Delay_Until_Time : @b<in> Ada.Real_Time.Time;
+              Deadline_Offset : @b<in> Ada.Real_Time.Time_Span);
+  @b<function> Get_Deadline (T : Ada.Task_Identification.Task_Id :=
+              Ada.Task_Identification.Current_Task) @b<return> Deadline;
+@b<end> Ada.Dispatching.EDF;>
+@dby
+@xcode<@b<with> Ada.Real_Time;
+@b<with> Ada.Task_Identification;
+@b<package> Ada.Dispatching.EDF
+  @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>
+  @b<subtype> Deadline @b<is> Ada.Real_Time.Time;
+  Default_Deadline : @b<constant> Deadline :=
+              Ada.Real_Time.Time_Last;
+  @b<procedure> Set_Deadline (D : @b<in> Deadline;
+              T : @b<in> Ada.Task_Identification.Task_Id :=
+              Ada.Task_Identification.Current_Task);
+  @b<procedure> Delay_Until_And_Set_Deadline (
+              Delay_Until_Time : @b<in> Ada.Real_Time.Time;
+              Deadline_Offset : @b<in> Ada.Real_Time.Time_Span)
+     @b<with> Nonblocking =@> False;
+  @b<function> Get_Deadline (T : Ada.Task_Identification.Task_Id :=
+              Ada.Task_Identification.Current_Task) @b<return> Deadline;
+@b<end> Ada.Dispatching.EDF;>
+
+
+!corrigendum D.5.1(3/2)
+
+@drepl
+@xcode<@b<with> System;
+@b<with> Ada.Task_Identification; @ft<@i<-- See C.7.1>>
+@b<package> Ada.Dynamic_Priorities @b<is>
+    @b<pragma> Preelaborate(Dynamic_Priorities);>
+@dby
+@xcode<@b<with> System;
+@b<with> Ada.Task_Identification; @ft<@i<-- See C.7.1>>
+@b<package> Ada.Dynamic_Priorities
+    @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum D.8(3)
+
+@drepl
+@xcode<@b<package> Ada.Real_Time @b<is>>
+@dby
+@xcode<@b<package> Ada.Real_Time 
+  @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+
+!corrigendum D.10(3/2)
+
+@drepl
+@xcode<@b<package> Ada.Synchronous_Task_Control @b<is>
+   @b<pragma> Preelaborate(Synchronous_Task_Control);>
+@dby
+@xcode<@b<package> Ada.Synchronous_Task_Control
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum D.10(5.2/3)
+
+@drepl
+@xcode<@b<with> Ada.Real_Time;
+@b<package> Ada.Synchronous_Task_Control.EDF @b<is>
+   @b<procedure> Suspend_Until_True_And_Set_Deadline
+      (S  : @b<in out> Suspension_Object;
+       TS : @b<in>     Ada.Real_Time.Time_Span);
+@b<end> Ada.Synchronous_Task_Control.EDF;>
+@dby
+@xcode<@b<with> Ada.Real_Time;
+@b<package> Ada.Synchronous_Task_Control.EDF
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>
+   @b<procedure> Suspend_Until_True_And_Set_Deadline
+      (S  : @b<in out> Suspension_Object;
+       TS : @b<in>     Ada.Real_Time.Time_Span)
+      @b<with> Nonblocking =@> False;
+@b<end> Ada.Synchronous_Task_Control.EDF;>
+
+!corrigendum D.10.1(3/3)
+
+@drepl
+@xcode<@b<package> Ada.Synchronous_Barriers @b<is>
+   @b<pragma> Preelaborate(Synchronous_Barriers);>
+@dby
+@xcode<@b<package> Ada.Synchronous_Barriers
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum D.11(3/2)
+
+@drepl
+@xcode<@b<with> Ada.Task_Identification;
+@b<package> Ada.Asynchronous_Task_Control @b<is>
+   @b<pragma> Preelaborate(Asynchronous_Task_Control);
+   @b<procedure> Hold(T : @b<in> Ada.Task_Identification.Task_Id);
+   @b<procedure> Continue(T : @b<in> Ada.Task_Identification.Task_Id);
+   @b<function> Is_Held(T : Ada.Task_Identification.Task_Id)
+      @b<return> Boolean;
+@b<end> Ada.Asynchronous_Task_Control;>
+@dby
+@xcode<@b<with> Ada.Task_Identification;
+@b<package> Ada.Asynchronous_Task_Control
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>
+   @b<procedure> Hold(T : @b<in> Ada.Task_Identification.Task_Id);
+   @b<procedure> Continue(T : @b<in> Ada.Task_Identification.Task_Id);
+   @b<function> Is_Held(T : Ada.Task_Identification.Task_Id)
+      @b<return> Boolean;
+@b<end> Ada.Asynchronous_Task_Control;>
+
+!corrigendum D.14(3/2)
+
+@drepl
+@xcode<@b<with> Ada.Task_Identification;
+@b<with> Ada.Real_Time; @b<use> Ada.Real_Time;
+@b<package> Ada.Execution_Time @b<is>>
+@dby
+@xcode<@b<with> Ada.Task_Identification;
+@b<with> Ada.Real_Time; @b<use> Ada.Real_Time;
+@b<package> Ada.Execution_Time
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum D.14.1(3/2)
+
+@drepl
+@xcode<@b<with> System;
+@b<package> Ada.Execution_Time.Timers @b<is>>
+@dby
+@xcode<@b<with> System;
+@b<package> Ada.Execution_Time.Timers
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum D.14.2(3/3)
+
+@drepl
+@xcode<@b<with> System;
+@b<with> System.Multiprocessors;
+@b<package> Ada.Execution_Time.Group_Budgets @b<is>>
+@dby
+@xcode<@b<with> System;
+@b<with> System.Multiprocessors;
+@b<package> Ada.Execution_Time.Group_Budgets
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum D.14.3(3/3)
+
+@drepl
+@xcode<@b<with> Ada.Interrupts;
+@b<package> Ada.Execution_Time.Interrupts @b<is>
+   @b<function> Clock (Interrupt : Ada.Interrupts.Interrupt_Id)
+        @b<return> CPU_Time;
+   @b<function> Supported (Interrupt : Ada.Interrupts.Interrupt_Id)
+        @b<return> Boolean;
+@b<end> Ada.Execution_Time.Interrupts;>
+@dby
+@xcode<@b<with> Ada.Interrupts;
+@b<package> Ada.Execution_Time.Interrupts
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>
+   @b<function> Clock (Interrupt : Ada.Interrupts.Interrupt_Id)
+        @b<return> CPU_Time;
+   @b<function> Supported (Interrupt : Ada.Interrupts.Interrupt_Id)
+        @b<return> Boolean;
+@b<end> Ada.Execution_Time.Interrupts;>
+
+!corrigendum D.15(3/2)
+
+@drepl
+@xcode<@b<package> Ada.Real_Time.Timing_Events @b<is>>
+@dby
+@xcode<@b<package> Ada.Real_Time.Timing_Events
+  @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum D.16(3/3)
+
+@drepl
+@xcode<@b<package> System.Multiprocessors @b<is>
+   @b<pragma> Preelaborate(Multiprocessors);>
+@dby
+@xcode<@b<package> System.Multiprocessors
+   @b<with> Preelaborate, Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+!corrigendum D.16.1(3/3)
+
+@drepl
+@xcode<@b<with> Ada.Real_Time;
+@b<with> Ada.Task_Identification;
+@b<package> System.Multiprocessors.Dispatching_Domains @b<is>>
+@dby
+@xcode<@b<with> Ada.Real_Time;
+@b<with> Ada.Task_Identification;
+@b<package> System.Multiprocessors.Dispatching_Domains
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+
+!corrigendum E.5(3)
+
+@drepl
+@xcode<@b<with> Ada.Streams; -- @ft<@i<see 13.13.1>>
+@b<package> System.RPC @b<is>>
+@dby
+@xcode<@b<with> Ada.Streams; -- @ft<@i<see 13.13.1>>
+@b<package> System.RPC
+   @b<with> Nonblocking =@> False, Global =@> @b<in out synchronized> @b<is>>
+
+
+!corrigendum F.3.3(3)
+
+@drepl
+@xcode<@b<package> Ada.Text_IO.Editing @b<is>>
+@dby
+@xcode<@b<package> Ada.Text_IO.Editing
+   @b<with> Nonblocking, Global =@> @b<in out synchronized> @b<is>>
+
+
+!corrigendum G.1.3(3)
+
+@drepl
+@xcode<@b<with> Ada.Numerics.Generic_Complex_Types;
+@b<generic>
+   @b<with package> Complex_Types @b<is>
+         @b<new> Ada.Numerics.Generic_Complex_Types (<@>);
+@b<package> Ada.Text_IO.Complex_IO @b<is>>
+@dby
+@xcode<@b<with> Ada.Numerics.Generic_Complex_Types;
+@b<generic>
+   @b<with package> Complex_Types @b<is>
+         @b<new> Ada.Numerics.Generic_Complex_Types (<@>);
+@b<package> Ada.Text_IO.Complex_IO
+   @b<with> Global =@> @b<in out synchronized> @b<is>>
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent