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