CVS difference for arm/source/pre_io.mss

Differences between 1.83 and version 1.84
Log of other versions for file arm/source/pre_io.mss

--- arm/source/pre_io.mss	2022/05/14 04:06:49	1.83
+++ arm/source/pre_io.mss	2022/06/21 06:08:02	1.84
@@ -1,12 +1,13 @@
 @Part(predefio, Root="ada.mss")
 
-@Comment{$Date: 2022/05/14 04:06:49 $}
+@Comment{$Date: 2022/06/21 06:08:02 $}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/pre_io.mss,v $}
-@Comment{$Revision: 1.83 $}
+@Comment{$Revision: 1.84 $}
 @LabeledClause{Input-Output}
 @begin{Intro}
 @ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00285-01]}
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0445-1]}
 @Redundant[@Defn{input}@Defn{output}
 Input-output is provided through
 language-defined packages, each of which is a child of the root package Ada.
@@ -20,8 +21,9 @@
 Heterogeneous input-output is provided through the child packages
 Streams.@!Stream_IO and Text_IO.@!Text_@!Streams
 (see also @RefSecNum{Streams}).
-The package IO_Exceptions defines the
-exceptions needed by the predefined input-output packages.]
+The package IO_Exceptions defines the exceptions
+@Chg{Version=[5],New=[used],Old=[needed]} by the predefined
+input-output packages.]
 @end{Intro}
 
 @begin{Inconsistent83}
@@ -176,10 +178,12 @@
 @Chg{Version=[2],New=[Wide_Wide_Text_IO, ],Old=[]}and Streams.Stream_IO,
 the corresponding type File_Type is unique.
 
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0440-1]}
 A bidirectional device can often be modeled as two sequential files
 associated with the device, one of mode In_File, and one of mode
-Out_File. An implementation may restrict the number of files that may
-be associated with a given external file.
+Out_File. An implementation @Chg{Version=[5],New=[can],Old=[may]} restrict
+the number of files that @Chg{Version=[5],New=[can],Old=[may]} be associated
+with a given external file.
 @end{Notes}
 
 @begin{Diffword95}
@@ -1241,17 +1245,17 @@
 other operations, for example, when a bounded line length, a bounded
 page length, or both, have been specified for a file.
 
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0444-1]}
 The actual nature of terminators is not defined by the language and
 hence depends on the implementation. Although terminators are
 recognized or generated by certain of the procedures that follow, they
 are not necessarily implemented as characters or as sequences of
 characters. Whether they are characters (and if so which ones) in any
-particular implementation need not concern a user who neither explicitly
-outputs nor explicitly inputs control characters. The effect of input
-(Get)
-or output (Put)
-of control characters (other than horizontal tabulation) is
-not specified by the language.
+particular implementation @Chg{Version=[5],New=[is],Old=[need]} not
+@Chg{Version=[5],New=[of ],Old=[]}concern @Chg{Version=[5],New=[to ],Old=[]}a
+user who neither explicitly outputs nor explicitly inputs control characters.
+The effect of input (Get) or output (Put) of control characters (other than
+horizontal tabulation) is not specified by the language.
 @PDefn{unspecified}
 
 @Defn{column number}
@@ -2149,6 +2153,7 @@
 @LabeledSubClause{Specification of Line and Page Lengths}
 
 @begin{StaticSem}
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0445-1]}
 The subprograms described in this subclause are concerned with the line
 and page structure of a file of mode Out_File or Append_File. They operate
 either on
@@ -2156,10 +2161,10 @@
 parameter, on the current default output file. They provide for output
 of text with a specified maximum line length or page length. In these
 cases, line and page terminators are output implicitly and automatically
-when needed. When line and page lengths are unbounded (that is, when
-they have the conventional value zero), as in the case of a newly opened
-file, new lines and new pages are only started when explicitly called
-for.
+when @Chg{Version=[5],New=[necessary],Old=[needed]}. When line and page 
+lengths are unbounded (that is, when they have the conventional value zero),
+as in the case of a newly opened file, new lines and new pages are only
+started when explicitly called for.
 
 In all cases, the exception Status_Error is propagated if the file to be
 used is not open; the exception Mode_Error is propagated if the mode of the
@@ -2453,10 +2458,11 @@
 @end{StaticSem}
 
 @begin{Notes}
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0440-1]}
 A page terminator is always skipped whenever the preceding line
-terminator is skipped. An implementation may represent the combination
-of these terminators by a single character, provided that it is properly
-recognized on input.
+terminator is skipped. An implementation @Chg{Version=[5],New=[can],Old=[may]}
+represent the combination of these terminators by a single character, provided
+that it is properly recognized on input.
 @end{Notes}
 
 @begin{Inconsistent2005}
@@ -2536,6 +2542,7 @@
 as well as forms that have digits only before the point
 or only after the point.
 
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0445-1]}
 Any Put procedure, for an item of a numeric or an enumeration type,
 outputs the value of the item as a numeric literal, identifier, or
 character literal, as appropriate. This is preceded by leading spaces
@@ -2543,7 +2550,7 @@
 later subclauses), and then a minus sign for a negative value; for an
 enumeration type, the spaces follow instead of leading. The format
 given for a Put procedure is overridden if it is insufficiently wide,
-by using the minimum needed width.
+by using the minimum @Chg{Version=[5],New=[necessary],Old=[needed]} width.
 
 Two further cases arise for Put procedures for numeric and enumeration
 types, if the line length of the specified output file is bounded (that
@@ -2948,9 +2955,10 @@
 
 @begin{ImplPerm}
 
-The nongeneric equivalent packages may, but need not,
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0444-1]}
+The nongeneric equivalent packages @Chg{Version=[5],New=[can],Old=[may, but need not,]}
 be actual instantiations of the generic package for the appropriate
-predefined type.
+predefined type@Chg{Version=[5],New=[, though that is not required],Old=[]}.
 
 @end{ImplPerm}
 
@@ -3189,13 +3197,14 @@
 @end{Discussion}
 
 
-The implementation of Put need not produce an output value with greater
-accuracy than is supported for the base subtype.
-The additional accuracy, if any,
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0444-1]}
+The implementation of Put @Chg{Version=[5],New=[may],Old=[need not]} produce
+an output value with @Chg{Version=[5],New=[no ],Old=[]}greater accuracy
+than @Chg{Version=[5],New=[that which ],Old=[]}is supported for the
+base subtype. The additional accuracy, if any,
 of the value produced by Put when the number of
 requested digits in the integer and fractional parts exceeds
-the required accuracy
-is implementation defined.
+the required accuracy is implementation defined.
 @begin{Discussion}
 The required accuracy is thus Num'Base'Digits digits if Num is
 a floating point subtype.
@@ -3205,10 +3214,10 @@
 
 @ImplDef{The accuracy of the value produced by Put.}
 
-
-The nongeneric equivalent packages may, but need not,
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0444-1]}
+The nongeneric equivalent packages @Chg{Version=[5],New=[can],Old=[may, but need not,]}
 be actual instantiations of the generic package for the appropriate
-predefined type.
+predefined type@Chg{Version=[5],New=[, though that is not required],Old=[]}.
 
 @end{ImplPerm}
 
@@ -4403,8 +4412,10 @@
 
 @LabeledClause{Exceptions in Input-Output}
 @begin{Intro}
-The package IO_Exceptions defines the exceptions needed by the
-predefined input-output packages.
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0445-1]}
+The package IO_Exceptions defines the exceptions
+@Chg{Version=[5],New=[used],Old=[needed]} by the predefined
+input-output packages.
 @end{Intro}
 
 @begin{StaticSem}
@@ -4509,10 +4520,12 @@
 
 
 @begin{ImplPerm}
-If the associated check is too complex, an implementation need
-not propagate Data_Error as part of a procedure Read
-(or the Read attribute) if the value read cannot be interpreted as a value
-of the required subtype.
+@ChgRef{Version=[5],Kind=[Revised],ARef=[AI12-0444-1]}
+@Chg{Version=[5],New=[When],Old=[If]} the associated check is
+@Chg{Version=[5],New=[],Old=[too ]}complex, @Chg{Version=[5],New=[it is
+optional to],Old=[an implementation need not]} propagate Data_Error as part of
+a procedure Read (or the Read attribute) @Chg{Version=[5],New=[when],Old=[if]}
+the value read cannot be interpreted as a value of the required subtype.
 @begin{Ramification}
 An example where the implementation may choose not to
 perform the check is an enumeration type with a representation clause

Questions? Ask the ACAA Technical Agent