CVS difference for ais/ai-00001.txt

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

--- ais/ai-00001.txt	1998/09/30 00:17:06	1.1
+++ ais/ai-00001.txt	1999/07/21 03:10:56	1.2
@@ -1,8 +1,9 @@
-!standard A.12.1   (29)                               96-07-23  AI95-00001/05
+!standard A.12.1   (29)                               99-07-20  AI95-00001/06
 !standard 13.13.01(08)
 !standard 13.13.01(09)
 !editor Norman Cohen
 !class binding interpretation 95-06-25
+!status Corrigendum 2000 99-06-02
 !status WG9 approved (8-0-0) 97-07-04
 !status ARG approved (by letter ballot) 10-0-1  96-06-10
 !status work item (letter ballot was 9-1-1) 96-06-05
@@ -10,7 +11,7 @@
 !status received 95-06-25
 !subject Ada.Streams.Stream_IO.Stream can raise Status_Error
 
-!summary 96-04-30
+!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
@@ -19,7 +20,7 @@
 parameter to Ada.Streams.Read or Ada.Streams.Write, execution is
 erroneous.
 
-!question 95-06-25
+!question
 
 If the function Ada.Streams.Stream_IO.Stream is called with a closed
 file, does the call raise Status_Error?
@@ -28,7 +29,7 @@
 read from or write to the stream pointed to by the resulting access
 value, before the file is opened, raise Status_Error?
 
-!recommendation 96-04-30
+!recommendation
 
 The result of Ada.Streams.Stream_IO.Stream is associated with a specific
 opening of the file passed as a parameter.
@@ -50,9 +51,9 @@
 Ada.Text_IO.Text_Streams.Stream.  It follows from A.12.3(5) that the
 same rules apply to Ada.Wide_Text_IO.Text_Streams.Stream .
 
-!wording 95-06-25
+!wording
 
-!discussion 96-07-23
+!discussion
 
 Open, Create, and Is_Open are the only subprograms in predefined program
 units that can be invoked with a closed file without raising
@@ -86,7 +87,38 @@
 continue to exist beyond the lifetime of the File_Type object if there
 were still unfinalized file-stream objects pointing to it.)
 
-!appendix 96-04-13
+!corrigendum A.12.01(29)
+
+@drepl
+The Stream function returns a Stream_Access result from a File_Type
+object, thus allowing the stream-oriented attributes Read, Write, Input, and
+Output to be used on the same file for multiple types.
+@dby
+The Stream function returns a Stream_Access result from a File_Type
+object, thus allowing the stream-oriented attributes Read, Write, Input, and
+Output to be used on the same file for multiple types. Stream propagates
+Status_Error if File is not open.
+
+!corrigendum A.12.01(36)
+
+@dinsa
+The Flush procedure synchronizes the external file with the internal
+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
+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.
+
+!ACATS test
+
+Add a test case to CXAC003 to check that Stream raises Status_Error if the
+file is not open. The erroneous cases cannot be tested.
+
+!appendix
 
 !section A.12.1(26)
 !section A.12.2(3)

Questions? Ask the ACAA Technical Agent