CVS difference for ais/ai-00085.txt

Differences between 1.9 and version 1.10
Log of other versions for file ais/ai-00085.txt

--- ais/ai-00085.txt	2002/07/23 01:05:23	1.9
+++ ais/ai-00085.txt	2005/01/28 02:10:32	1.10
@@ -1,4 +1,4 @@
-!standard A.8.2    (16)                               02-05-09  AI95-00085/08
+!standard A.8.2    (16)                               05-01-25  AI95-00085/09
 !standard A.12.1(28.1)
 !standard A.12.1(33)
 !class confirmation 95-08-19
@@ -116,6 +116,41 @@
 4. A.12.1(28.1/1) should say that "the procedure Set_Mode sets the mode
 of the file."  If the Mode parameter is the current mode of the file,
 then surely the mode of the file is not changed.
+
+!corrigendum A.8.2(16)
+
+@drepl
+Resets the given file so that reading from its
+elements can be restarted from the beginning of the file (for
+modes In_File and Inout_File), and so that writing to its elements can be
+restarted at the beginning of the file (for modes Out_File and Inout_File)
+or after the last element of the file (for mode Append_File).
+In particular, for direct access this means that the current
+index is set to one. If a Mode parameter is supplied, the
+current mode of the given file is set to the given mode. In addition, for
+sequential files, if the given file has mode Out_File or Append_File when
+Reset is called, the last element written since the most recent open or
+reset is the last element that can be read from the file. If no elements
+have been written and the file mode is Out_File, the reset file is empty.
+If no elements have been written and the file mode is Append_File,
+then the reset file is unchanged.
+@dby
+Resets the given file so that reading from its
+elements can be restarted from the beginning of the external file (for
+modes In_File and Inout_File), and so that writing to its elements can be
+restarted at the beginning of the
+external file (for modes Out_File and Inout_File)
+or after the last element of the external file (for mode Append_File).
+In particular, for direct access this means that the current
+index is set to one. If a Mode parameter is supplied, the
+current mode of the given file is set to the given mode. In addition, for
+sequential files, if the given file has mode Out_File or Append_File when
+Reset is called, the last element written since the most recent open or
+reset is the last element that can be read from the
+external file. If no elements
+have been written and the file mode is Out_File, the reset file is empty.
+If no elements have been written and the file mode is Append_File,
+then the reset file is unchanged.
 
 !corrigendum A.12.1(28.1/1)
 

Questions? Ask the ACAA Technical Agent