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

Differences between 1.15 and version 1.16
Log of other versions for file ai12s/ai12-0266-1.txt

--- ai12s/ai12-0266-1.txt	2019/02/13 06:14:22	1.15
+++ ai12s/ai12-0266-1.txt	2019/02/21 05:29:34	1.16
@@ -703,21 +703,23 @@
                                 Max_Chunks : @b<in>     Chunk_Index) @b<is abstract>
       @b<with> Pre'Class   =@> @b<not> Object.Is_Split @b<or else raise> Program_Error,
            Post'Class  =@> Object.Is_Split @b<and then>
-              Object.Chunk_Count <= Max_Chunks;>
+                          Object.Chunk_Count <= Max_Chunks;>
 
-@xcode<   @b<function> Chunk_Count (Object : Parallel_Iterator) @b<return> Chunk_Index
-      @b<is abstract>
+@xcode<   @b<function> Chunk_Count (Object : Parallel_Iterator) 
+      @b<return> Chunk_Index @b<is abstract>
       @b<with> Pre'Class   =@> Object.Is_Split @b<or else raise> Program_Error;>
 
 @xcode<   @b<function> First (Object : Parallel_Iterator;
                    Chunk  : Chunk_Index) @b<return> Cursor @b<is abstract>
-      @b<with> Pre'Class   =@> (Object.Is_Split @b<and then> Chunk <= Object.Chunk_Count)
+      @b<with> Pre'Class   =@> (Object.Is_Split @b<and then> 
+                              Chunk <= Object.Chunk_Count)
                            @b<or else raise> Program_Error;>
 
 @xcode<   @b<function> Next (Object   : Parallel_Iterator;
                   Position : Cursor;
                   Chunk    : Chunk_Index) @b<return> Cursor @b<is abstract>
-      @b<with> Pre'Class   =@> (Object.Is_Split @b<and then> Chunk <= Object.Chunk_Count)
+      @b<with> Pre'Class   =@> (Object.Is_Split @b<and then> 
+                              Chunk <= Object.Chunk_Count)
                            @b<or else raise> Program_Error;>
 
 @xcode<   @b<type> Parallel_Reversible_Iterator @b<is limited interface>
@@ -982,7 +984,7 @@
 A container element iterator then proceeds as described above for a
 generalized iterator, except that each reference to a loop parameter
 is replaced by a reference to the corresponding loop cursor. For a
-ontainer element iterator, the loop parameter for each iteration
+container element iterator, the loop parameter for each iteration
 instead denotes an indexing (see 4.1.6) into the iterable container
 object for the loop, with the only parameter to the indexing being the
 value of the loop cursor for the given iteration. If the loop

Questions? Ask the ACAA Technical Agent