CVS difference for ais/ai-00001.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00001.txt

--- ais/ai-00001.txt	1999/08/31 22:53:53	1.3
+++ ais/ai-00001.txt	2000/07/13 04:31:26	1.4
@@ -1,4 +1,4 @@
-!standard A.12.1   (29)                               99-08-31  AI95-00001/06
+!standard A.12.1   (29)                               00-07-11  AI95-00001/07
 !standard A.12.1   (36)
 !standard 13.13.01(08-09)
 !editor Norman Cohen
@@ -15,8 +15,8 @@
 !summary
 
 Ada.Streams.Stream_IO.Stream raises Status_Error if its parameter is not
-an open file.  If the file passed to Stream is closed or ceases to exist
-after the call on Stream and the Root_Stream_Type'Class object
+an open file.  If the file passed to the Stream function is closed or
+ceases to exist after the call on Stream and the Root_Stream_Type'Class object
 designated by the function result is subsequently passed as the first
 parameter to Ada.Streams.Read or Ada.Streams.Write, execution is
 erroneous.
@@ -24,11 +24,11 @@
 !question
 
 If the function Ada.Streams.Stream_IO.Stream is called with a closed
-file, does the call raise Status_Error?
+file, does the call raise Status_Error? (Yes.)
 
 If the function call does not raise Status_Error, does an attempt to
-read from or write to the stream pointed to by the resulting access
-value, before the file is opened, raise Status_Error?
+read from or write to the stream referenced by the resulting access
+value raise Status_Error if the file has been closed? (It is erroneous.)
 
 !recommendation
 
@@ -60,12 +60,12 @@
 units that can be invoked with a closed file without raising
 Status_Error.
 
-The rules stipulating when use of the result of Stream is erroneous are
-analogous to the rules in A.10.3(22) and A.10.3(23) for the result of
-the Current_Input, Current_Output, and Current_Error functions.  These
-rules make it possible to represent a File_Type value or a file
-stream-value as a pointer, with a null pointer corresponding to a closed
-file.  (By a file-stream value, we mean a value belonging to some
+The rules stipulating when use of the result of the Stream function is
+erroneous are analogous to the rules in A.10.3(22) and A.10.3(23) for the
+result of the Current_Input, Current_Output, and Current_Error functions.
+These rules make it possible to represent a File_Type value or a file
+stream-value as an access value, with a null value corresponding to a closed
+file. (By a file-stream value, we mean a value belonging to some
 descendant of Root_Stream_Type and representing a stream associated with
 a file.)
 
@@ -73,17 +73,17 @@
 function only as an actual parameter to Ada.Streams.Read,
 Ada.Streams.Write, or a stream-oriented attribute.
 
-An alternative approach would be to allow the result of Stream to
+An alternative approach would be to allow the result of the Stream function to
 correspond to a closed file, but to raise Status_Error upon an attempt
 to use a file-stream value associated with a closed or no longer
-existent file.  Then a file-stream value would have to reflect the fact
+existent file. Then a file-stream value would have to reflect the fact
 that its corresponding internal file had been closed or had ceased to
-exist.  This would rule out an implementation in which closing a file
-simply sets a File_Type value to a null pointer.  Finalization of both
-File_Type objects and file-stream objects would be complicated.  (One
+exist. This would rule out an implementation in which closing a file
+simply sets a File_Type value to a null pointer. Finalization of both
+File_Type objects and file-stream objects would be complicated. (One
 possible implementation would be for both File_Type objects and
 file-stream objects to be controlled objects pointing to an object that
-includes both a reference count and an is-opened flag.  Such an object
+includes both a reference count and an is-opened flag. Such an object
 would be allocated upon creation of a File_Type object, but would
 continue to exist beyond the lifetime of the File_Type object if there
 were still unfinalized file-stream objects pointing to it.)
@@ -107,12 +107,12 @@
 file (by flushing any internal buffers) without closing the file or changing
 the position.  Mode_Error is propagated if the mode of the file is In_File.
 @dinst
-@s8<@i<Erroneous execution>>@hr
+@s8<@i<Erroneous Execution>>@hr
 If the File_Type object passed to the Stream function
 is later closed or finalized, and the stream-oriented attributes are
 subsequently called (explicitly or implicitly) on the Stream_Access value
 returned by Stream, execution is erroneous. This rule applies even if the
-File_Type object was opened again after it was closed.
+File_Type object was opened again after it had been closed.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent