CVS difference for ais/ai-00026.txt
--- ais/ai-00026.txt 2000/07/13 04:31:26 1.5
+++ ais/ai-00026.txt 2000/08/01 05:39:31 1.6
@@ -12,7 +12,7 @@
Opening a file of type Streams.Stream_IO.File_Type in mode Append_File,
or resetting such a file to mode Append_File, sets the current file index
-to Size(File)+1. Beyond this, the current file index maintained by
+to Size(File)+1. Beyond this, the current file index maintained by
Stream_IO is set in the same manner as the current file index maintained
by instances of Direct_IO.
@@ -68,7 +68,7 @@
Since stream files with positioning are intended to be similar to direct files,
the current index of a stream file should be handled similarly (except that
the index counts stream elements rather than file elements, and except that a
-stream file can be opened in or reset to mode Append_File). The
+stream file can be opened in or reset to mode Append_File). The
recommendation is based on the behavior described in A.8(4), A.8.2, and
A.8.5 for direct files.
@@ -77,10 +77,10 @@
The library package Streams.Stream_IO has the following declaration:
-The elements of a stream file are stream elements. If positioning is supported
+The elements of a stream file are stream elements. If positioning is supported
for the specified external file, a current index and current size are maintained
for the file as described in A.8. If positioning is not supported, a current
-index is not maintained, and the current size is implementation-defined.
+index is not maintained, and the current size is implementation defined.
@@ -142,7 +142,7 @@
-The Size function returns the current size of the file.
+The Size function returns the current size of the file, in stream elements.
Questions? Ask the ACAA Technical Agent