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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0354-1.txt

--- ai12s/ai12-0354-1.txt	2020/06/11 04:56:34	1.2
+++ ai12s/ai12-0354-1.txt	2020/06/17 00:20:22	1.3
@@ -1,5 +1,7 @@
-!standard 5.5.1(21/3)                                  20-01-10  AI12-0354-1/01
+!standard 5.5.1(21/3)                                  20-06-16  AI12-0354-1/02
 !class Amendment 20-01-10
+!status Amendment 1-2012 20-06-16
+!status ARG Approved 11-0-2  20-06-13
 !status work item 20-01-10
 !status received 19-11-18
 !priority Low
@@ -32,7 +34,7 @@
 a Cursor value that either yields False when passed to Has_Element, or that 
 identifies an element distinct from any Cursor value returned by a call on a 
 First or Next operation on the same Parallel_Iterator object with a different 
-Chunk value.  If the First or Next operations with a Chunk parameter behave 
+Chunk value. If the First or Next operations with a Chunk parameter behave 
 in any other manner, execution is erroneous.
 
 !discussion
@@ -41,6 +43,22 @@
 fails to return cursors that designate distinct elements erroneous. Using such
 cursors are likely to be erroneous anyway, so this is not really introducing a
 new kind of erroneousness.
+
+!corrigendum 5.5.1(21/3)
+
+@dinsa
+This function (if any) is the @i<default variable indexing function> for @i<T>.
+@dinst
+@s8<@i<Erroneous Execution>>
+
+A call on the First or Next operation on a given Parallel_Iterator object 
+with a given Chunk value, which does not propagate an exception, should return 
+a Cursor value that either yields False when passed to Has_Element, or that 
+identifies an element distinct from any Cursor value returned by a call on a 
+First or Next operation on the same Parallel_Iterator object with a different 
+Chunk value. If the First or Next operations with a Chunk parameter behave 
+in any other manner, execution is erroneous.
+
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent