CVS difference for ai05s/ai05-0092-1.txt
--- ai05s/ai05-0092-1.txt 2010/06/11 23:58:33 1.11
+++ ai05s/ai05-0092-1.txt 2010/10/16 04:36:19 1.12
@@ -1,4 +1,4 @@
-!standard 3.3.1(20.4/2) 10-06-11 AI05-0092-1/10
+!standard 3.3.1(20.4/2) 10-10-15 AI05-0092-1/11
!standard 3.3.1(23)
!standard 3.9(25.1/2)
!standard 6.3.1(21.1/2)
@@ -11,6 +11,7 @@
!standard A.16(68/2)
!standard A.16(104/2)
!standard A.16(112/2)
+!standard A.18.2(189/2)
!standard A.18.10(2/2)
!standard A.18.11(2/2)
!standard A.18.12(2/2)
@@ -64,6 +65,8 @@
15) Correct A.16(104/2) and A.16(112/2).
+16) Changed "List" to "Vector" in A.18.2(189/2).
+
!question
1) Generally, "must" shall not be used in normative rules of the standard. However,
@@ -110,6 +113,9 @@
15) A.16(104/2) and A.16(112/2) contain the text "If the Pattern is null, ...".
But Pattern is of type String and cannot be null. Should this be fixed? (Yes.)
+16) A.18.2(189/2) has a parameter type of "List"; but this is the vector package.
+Should this be fixed? (Yes.)
+
[Other questions here.]
!recommendation
@@ -164,6 +170,8 @@
... If Pattern is {the} null {string},
+16) Replace "List" with "Vector" in A.18.2(189/2).
+
!discussion
1) 3.3.1(20.4/2) uses "must precede", while 3.3.1(20.1-3/2) use "is preceded by".
@@ -218,6 +226,9 @@
15) "null" clearly should be "null string". We use the form "Pattern is the null
string" because text of that form occurs in multiple places in A.16 already.
+16) There is nothing named "List" in this package, so this must be a simple
+cut-and-paste error.
+
!corrigendum 3.3.1(20.4/2)
@drepl
@@ -466,8 +477,17 @@
exception Use_Error is propagated if the external environment does not support
the searching of the directory with the given name (in the absence of
Name_Error).>
+
+!corrigendum A.18.2(189/2)
+
+@drepl
+@xcode<@b<procedure> Reverse_Elements (Container : @b<in out> List);>
+@dby
+@xcode<@b<procedure> Reverse_Elements (Container : @b<in out> Vector);>
+
+!comment The containers clauses have been renumbered; following is the new numbers.
-!corrigendum A.18.10(2/2)
+!corrigendum A.18.11(2/2)
@drepl
The declaration of the generic library package Containers.Indefinite_Vectors has
@@ -476,7 +496,7 @@
The declaration of the generic library package Containers.Indefinite_Vectors has
the same contents and semantics as Containers.Vectors except:
-!corrigendum A.18.11(2/2)
+!corrigendum A.18.12(2/2)
@drepl
The declaration of the generic library package Containers.Indefinite_Doubly_Linked_Lists
@@ -485,7 +505,7 @@
The declaration of the generic library package Containers.Indefinite_Doubly_Linked_Lists has
the same contents and semantics as Containers.Doubly_Linked_Lists except:
-!corrigendum A.18.12(2/2)
+!corrigendum A.18.13(2/2)
@drepl
The declaration of the generic library package Containers.Indefinite_Hashed_Maps has
@@ -494,7 +514,7 @@
The declaration of the generic library package Containers.Indefinite_Hashed_Maps has
the same contents and semantics as Containers.Hashed_Maps except:
-!corrigendum A.18.13(2/2)
+!corrigendum A.18.14(2/2)
@drepl
The declaration of the generic library package Containers.Indefinite_Ordered_Maps has
@@ -503,7 +523,7 @@
The declaration of the generic library package Containers.Indefinite_Ordered_Maps has
the same contents and semantics as Containers.Ordered_Maps except:
-!corrigendum A.18.14(2/2)
+!corrigendum A.18.15(2/2)
@drepl
The declaration of the generic library package Containers.Indefinite_Hashed_Sets has
@@ -512,7 +532,7 @@
The declaration of the generic library package Containers.Indefinite_Hashed_Sets has
the same contents and semantics as Containers.Hashed_Sets except:
-!corrigendum A.18.15(2/2)
+!corrigendum A.18.16(2/2)
@drepl
The declaration of the generic library package Containers.Indefinite_Ordered_Sets has
@@ -1141,6 +1161,16 @@
given that there is no chance of confusion (if it meant the null access value "null"
would have been in boldface), making a change here is about the lowest priority fix I
could imagine.
+
+****************************************************************
+
+From: Yannick Moy
+Sent: Wednesday, September 15, 2010 4:32 AM
+
+The following part of RM A.18.2 should mention a Vector parameter instead of a List one:
+
+189/2 procedure Reverse_Elements (Container : in out List);
+190/2 Reorders the elements of Container in reverse order.
****************************************************************
Questions? Ask the ACAA Technical Agent