CVS difference for 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