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

Differences between 1.29 and version 1.30
Log of other versions for file ai12s/ai12-0112-1.txt

--- ai12s/ai12-0112-1.txt	2020/09/11 22:20:44	1.29
+++ ai12s/ai12-0112-1.txt	2020/12/09 06:26:42	1.30
@@ -1918,8 +1918,8 @@
 specific type @i<T> of the object returned from a function that returns an 
 object of an iterator interface, as well as the primitive operations of @i<T>, 
 shall be nonblocking. The Global aspect specified for @i<T> and the primitive 
-operations of @i<T> shall be @fc<(@b<in access> @i<C>, @b<synchronized out 
-access> @i<C>)> or a specification that allows access to fewer global objects.
+operations of @i<T> shall be @fc<(@b<in all>, @b<out synchronized>)> or a 
+specification that allows access to fewer global objects.
 
 !comment For the actual container's definitions (A.18.2-A.18.36), we only 
 !comment provide Corrigendum sections for those that conflict with other
@@ -3188,6 +3188,27 @@
 > evaluated in most circumstances).
 
 I slightly prefer leaving out the "would".
+
+***************************************************************
+
+From the AARM Review of Jean-Pierre Rosen, October 2020
+
+A.18(12/5)
+   For an instance I of a container package with a container type C,
+   the specific type T of the object returned from a function that
+   returns an object of an iterator interface, as well as the primitive
+   operations of T, shall be nonblocking. The Global aspect specified
+   for T and the primitive operations of T shall be (in all, out
+   synchronized) or a specification that allows access to fewer global
+   objects.
+
+I find this paragraph strange. ... And "C" is not referred to anywhere.
+
+[Editor's note: The elided part is addressed in AI12-0416-1.]
+
+[Editor's reply: 'C' was originally used in the Global definitions, but
+when those were simplified, it became an orphan (and should have gone as 
+well).]
 
 ***************************************************************
 

Questions? Ask the ACAA Technical Agent