CVS difference for ais/ai-00057.txt

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

--- ais/ai-00057.txt	1998/09/30 00:17:11	1.1
+++ ais/ai-00057.txt	1999/06/26 01:11:13	1.2
@@ -1,30 +1,32 @@
-!standard A.10.1   (21)                               95-11-01  AI95-00057/02
+!standard A.10.1   (21)                               99-06-25  AI95-00057/03
 !class binding interpretation 95-06-25
+!status Corrigendum 2000 99-05-24
 !status WG9 approved 95-06-14
 !status ARG approved 10-0-0  95-11-01
 !status received 95-06-25
 !subject Text_IO.Flush should use IN mode
 
-!summary 95-06-25
+!summary
 
 The mode of the parameter of Text_IO.Flush is 'in' (not 'in out').
 The same is true of Streams.Stream_IO.Flush.
 
-!question 95-06-25
+!question
 
 A.10.1(21) shows the parameter of Text_IO.Flush as mode 'in out'.
 This makes it impossible to Flush Standard_Output.  Is this the
 intent?  (No.)
 
-!recommendation 95-06-25
+!recommendation
 
 The parameter mode of Text_IO.Flush and Stream_IO.Flush is 'in'
 (not 'in out', as shown in the RM).
 
-!wording 95-06-25
+!wording
 
+(See corrigendum.)
 
-!discussion 95-06-25
+!discussion
 
 It is important to be able to call Flush on the Current_Output,
 Standard_Output, Current_Error, and Standard_Error files.
@@ -41,7 +43,39 @@
 
 For consistency, the same applies to Stream_IO.Flush (see A.12.1(25)).
 
-!appendix 95-06-25
+!corrigendum A.10.01(21)
+
+@drepl
+@i<-- Buffer control>
+@xcode<@b<procedure> Flush (File : @b<in out> File_Type);
+@b<procedure> Flush;>
+@dby
+@i<-- Buffer control>
+@xcode<@b<procedure> Flush (File : @b<in> File_Type);
+@b<procedure> Flush;>
+
+!corrigendum A.10.03(20)
+
+@drepl
+@xcode<@b<procedure> Flush (File : @b<in out> File_Type);
+@b<procedure> Flush;>
+@dby
+@xcode<@b<procedure> Flush (File : @b<in> File_Type);
+@b<procedure> Flush;>
+
+!corrigendum A.12.01(25)
+
+@drepl
+@xcode<@b<procedure> Flush (File : @b<in out> File_Type);>
+@dby
+@xcode<@b<procedure> Flush (File : @b<in> File_Type);>
+
+!ACATS test
+
+A test is needed. Construct a C-Test to check that Standard_Output can be
+flushed. Possibly construct a stream case as well.
+
+!appendix
 
 !section A.10.1(21)
 !section A.10.3(20)

Questions? Ask the ACAA Technical Agent