CVS difference for arm/source/pre_io.mss

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

--- arm/source/pre_io.mss	2000/08/08 22:56:19	1.16
+++ arm/source/pre_io.mss	2000/08/15 01:11:44	1.17
@@ -1,9 +1,9 @@
 @Part(predefio, Root="ada.mss")
 
-@Comment{$Date: 2000/08/08 22:56:19 $}
+@Comment{$Date: 2000/08/15 01:11:44 $}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/pre_io.mss,v $}
-@Comment{$Revision: 1.16 $}
+@Comment{$Revision: 1.17 $}
 @LabeledClause{Input-Output}
 @begin{Intro}
 @Redundant[@Defn{input}@Defn{output}
@@ -15,7 +15,7 @@
 The generic package Storage_IO supports reading from and writing to
 an in-memory buffer.
 Additional operations for text input-output are
-supplied in the packages Text_IO and Wide_Text_IO.  Heterogeneous
+supplied in the packages Text_IO and Wide_Text_IO. Heterogeneous
 input-output is provided through the child packages
 Streams.Stream_IO  and Text_IO.Text_Streams
 (see also @RefSecNum{Streams}).
@@ -39,7 +39,7 @@
 
 @begin{DiffWord83}
 RM83-14.6, "Low Level Input-Output,"
-is removed.  This has no semantic effect,
+is removed. This has no semantic effect,
 since the package was entirely implementation defined,
 nobody actually implemented it,
 and if they did, they can always provide it as a vendor-supplied
@@ -56,16 +56,16 @@
 the external environment,
 are considered to occupy @i{external files}.
 An external file can be anything external to the program that can
-produce a value to be read or receive a value to be written.  An
-external file is identified by a string (the @i{name}).  A second string
+produce a value to be read or receive a value to be written. An
+external file is identified by a string (the @i{name}). A second string
 (the @i{form}) gives further system-dependent characteristics that may
 be associated with the file, such as the physical organization or access
-rights.  The conventions governing the interpretation of such strings
+rights. The conventions governing the interpretation of such strings
 shall be documented.
 
 @Defn2{Term=[file], Sec=(as file object)}
 Input and output operations are expressed as operations on objects of
-some @i{file type}, rather than directly in terms of the external files.  In
+some @i{file type}, rather than directly in terms of the external files. In
 the remainder of this section, the term @i{file} is always used to refer to
 a file object; the term @i{external file} is used otherwise.
 
@@ -73,13 +73,13 @@
 defined by means of the generic package Sequential_IO.
 In order to define sequential input-output for a given element type, an
 instantiation of this generic unit, with the given type as actual
-parameter, has to be declared.  The resulting package contains the
+parameter, has to be declared. The resulting package contains the
 declaration of a file type (called File_Type) for files of such
 elements, as well as the operations applicable to these files, such as
 the Open, Read, and Write procedures.
 
 Input-output for direct access files is likewise defined by a generic
-package called Direct_IO.  Input-output in human-readable form is
+package called Direct_IO. Input-output in human-readable form is
 defined by the (nongeneric) packages Text_IO for Character and String
 data, and Wide_Text_IO for Wide_Character and Wide_String data.
 Input-output for files containing streams of
@@ -87,7 +87,7 @@
 the (nongeneric) package Streams.Stream_IO.
 
 Before input or output operations can be performed on a file, the file
-first has to be associated with an external file.  While such an
+first has to be associated with an external file. While such an
 association is in effect, the file is said to be @i{open}, and otherwise the
 file is said to be @i{closed}.
 
@@ -99,7 +99,7 @@
 @PDefn{unspecified}
 The effect of input-output for access types is unspecified.
 
-@Defn2{Term=[current mode], Sec=(of an open file)}
+@Leading@Defn2{Term=[current mode], Sec=(of an open file)}
 An open file has a @i{current mode}, which is a value of one of the
 following enumeration types:
 @begin{DescribeCode}
@@ -150,13 +150,13 @@
 
 @begin{Notes}
 Each instantiation of the generic packages Sequential_IO and Direct_IO
-declares a different type File_Type.  In the case of Text_IO, Wide_Text_IO,
+declares a different type File_Type. In the case of Text_IO, Wide_Text_IO,
 and Streams.Stream_IO, the corresponding type
 File_Type is unique.
 
 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
+Out_File. An implementation may restrict the number of files that may
 be associated with a given external file.
 @end{Notes}
 
@@ -181,21 +181,21 @@
 program or by the external environment).
 When the file is opened with mode
 In_File or Out_File, transfer starts respectively
-from or to the beginning of the file.  When the file is opened with mode
+from or to the beginning of the file. When the file is opened with mode
 Append_File, transfer to the file starts after the last element of the
 file.
 @begin{Discussion}
-Adding stream I/O necessitates a review of the terminology.  In
+Adding stream I/O necessitates a review of the terminology. In
 Ada 83, `sequential' implies both the access method (purely sequential
-@em that is, no indexing or positional access) and homogeneity.  Direct
+@em that is, no indexing or positional access) and homogeneity. Direct
 access includes purely sequential access and indexed access, as well as
-homogeneity.  In Ada 9X, streams allow purely sequential access but also
+homogeneity. In Ada 9X, streams allow purely sequential access but also
 positional access to an individual
 element, and are
-heterogeneous.  We considered generalizing the notion of
+heterogeneous. We considered generalizing the notion of
 `sequential file' to include both Sequential_IO and Stream_IO files, but
 since streams allow positional access it seems misleading to call them
-sequential files.  Or, looked at differently, if the criterion for
+sequential files. Or, looked at differently, if the criterion for
 calling something a sequential file is whether it permits (versus
 requires) purely sequential access, then one could just as soon regard a
 Direct_IO file as a sequential file.
@@ -203,7 +203,7 @@
 It seems better to regard `sequential file' as meaning `only permitting
 purely sequential access'; hence we have decided to supplement `sequential
 access' and `direct access' with a third category, informally called `access
-to streams'.  (We decided against the term `stream access' because of possible
+to streams'. (We decided against the term `stream access' because of possible
 confusion with the Stream_Access type declared in one of the stream packages.)@end{discussion}
 
 @Defn{direct access}
@@ -211,24 +211,24 @@
 @Defn2{Term=[current size], Sec=(of an external file)}
 For direct access, the file is viewed as a set of elements occupying
 consecutive positions in linear order; a value can be transferred to or
-from an element of the file at any selected position.  The position of
+from an element of the file at any selected position. The position of
 an element is specified by its @i{index}, which is a number, greater than
-zero, of the implementation-defined integer type Count.  The first
+zero, of the implementation-defined integer type Count. The first
 element, if any, has index one; the index of the last element, if any,
 is called the @i{current size}; the current size is zero if there are no
-elements.  The current size is a property of the external file.
+elements. The current size is a property of the external file.
 
 @Defn2{Term=[current index], Sec=(of an open direct file)}
 An open direct file has a @i{current index}, which is the index that will be
-used by the next read or write operation.  When a direct file is opened,
-the current index is set to one.  The current index of a direct file is
+used by the next read or write operation. When a direct file is opened,
+the current index is set to one. The current index of a direct file is
 a property of a file object, not of an external file.
 @end{StaticSem}
 
 @LabeledSubClause{The Generic Package Sequential_IO}
 
 @begin{StaticSem}
-The generic library package Sequential_IO has the following declaration:
+@Leading@;The generic library package Sequential_IO has the following declaration:
 @begin{Example}
 @key[with] Ada.IO_Exceptions;
 @key[generic]
@@ -303,7 +303,7 @@
 control of external files; their declarations are repeated in each of
 the  packages for sequential, direct,
 text, and stream
-input-output.  For
+input-output. For
 text input-output, the procedures Create, Open, and Reset have
 additional effects described in subclause
 @RefSecNum{Text File Management}.
@@ -316,32 +316,25 @@
 @end{Example}
 
           Establishes a new external file, with the given name and form,
-          and associates this external file with the given file.  The
-          given file is left open.  The current mode of the given file
-          is set to the given access mode.  The default access mode is
+          and associates this external file with the given file. The
+          given file is left open. The current mode of the given file
+          is set to the given access mode. The default access mode is
           the mode Out_File for sequential and text
-          input-output;  it is
-          the mode Inout_File for direct input-output.  For direct
+          input-output; it is
+          the mode Inout_File for direct input-output. For direct
           access, the size of the created file is implementation defined.
 
-            A null string for Name specifies an
+          A null string for Name specifies an
           external file that is not accessible after the completion of
-          the main program (a temporary file).  A null string for Form
+          the main program (a temporary file). A null string for Form
           specifies the use of the default options of the implementation
           for the external file.
 
-          The exception Status_Error is propagated
-          if the given file is
-          already open.  The exception Name_Error is
-          propagated if the
+          The exception Status_Error is propagated if the given file is
+          already open. The exception Name_Error is propagated if the
           string given as Name does not allow the identification of an
-          external file.  The exception Use_Error is
-          propagated if, for the
-          specified mode, the
-
-external environment
-
- does not support creation of
+          external file. The exception Use_Error is propagated if, for the
+          specified mode, the external environment does not support creation of
           an external file with the given name (in the absence of
           Name_Error) and form.
 @begin{Example}
@@ -353,14 +346,14 @@
 
           Associates the given file with an existing external file
           having the given name and form, and sets the current mode of
-          the given file to the given mode.  The given file is left
+          the given file to the given mode. The given file is left
           open.
 
           The exception Status_Error is propagated if the given file is
-          already open.  The exception Name_Error is propagated if the
+          already open. The exception Name_Error is propagated if the
           string given as Name does not allow the identification of an
           external file; in particular, this exception is propagated if no
-          external file with the given name exists.  The exception
+          external file with the given name exists. The exception
           Use_Error is propagated if, for the specified mode, the
 
 external environment
@@ -372,11 +365,11 @@
 @end{Example}
 
           Severs the association between the given file and its
-          associated external file.  The given file is left closed.
+          associated external file. The given file is left closed.
           In addition, for sequential files, if the file
 being closed has mode Out_File or Append_File, then the last element written
 since the most recent open or reset is the last element that can be read
-from the file.  If no elements have been written and the file mode is
+from the file. If no elements have been written and the file mode is
 Out_File, then the closed file is empty.
 If no elements have been written and the file mode is Append_File,
 then the closed file is unchanged.
@@ -387,11 +380,11 @@
 @key[procedure] Delete(File : @key[in] @key[out] File_Type);
 @end{Example}
 
-          Deletes the external file associated with the given file.  The
+          Deletes the external file associated with the given file. The
           given file is closed, and the external file ceases to exist.
 
           The exception Status_Error is propagated if the given file is not
-          open.  The exception Use_Error is propagated if
+          open. The exception Use_Error is propagated if
           deletion of the external file is not supported
           by the external environment.
 @begin{Example}
@@ -406,12 +399,12 @@
 modes Out_File and Inout_File) or after the last element of the file (for mode
 Append_File).
           In particular, for direct access this means that the current
-          index is set to one.  If a Mode parameter is supplied, the
+          index is set to one. If a Mode parameter is supplied, the
           current mode of the given file is set to the given mode.
 In addition, for sequential files, if the given file has mode
 Out_File or Append_File when Reset is called, the last element written
 since the most recent open or reset is the last element that can be read
-from the file.  If no elements have been written and the file mode is
+from the file. If no elements have been written and the file mode is
 Out_File, the reset file is empty.
 If no elements have been written and the file mode is
 Append_File,
@@ -442,7 +435,7 @@
 
           Returns a string which uniquely identifies the external file
           currently associated with the given file (and may thus be used
-          in an Open operation).  If an
+          in an Open operation). If an
 
 external environment
 
@@ -452,7 +445,7 @@
           specification of the name.
 
           The exception Status_Error is propagated if the given file is not
-          open.  The exception Use_Error is propagated if the associated
+          open. The exception Use_Error is propagated if the associated
           external file is a temporary file that cannot be opened
           by any name.
 @begin{Example}
@@ -460,7 +453,7 @@
 @end{Example}
 
           Returns the form string for the external file currently
-          associated with the given file.  If an
+          associated with the given file. If an
 
 external environment
 
@@ -496,15 +489,15 @@
 @LabeledSubClause{Sequential Input-Output Operations}
 
 @begin{StaticSem}
-The operations available for  sequential input and output are described
-in this subclause.  The exception Status_Error is propagated if any of these
+The operations available for sequential input and output are described
+in this subclause. The exception Status_Error is propagated if any of these
 operations is attempted for a file that is not open.
 @begin{DescribeCode}
 @begin{Example}
 @key[procedure] Read(File : @key[in] File_Type; Item : @key[out] Element_Type);
 @end{Example}
 
-          Operates on a file of mode In_File.  Reads an element
+          Operates on a file of mode In_File. Reads an element
 from the given file, and returns the value of this element
 in the Item parameter.
 @begin{Discussion}
@@ -547,13 +540,13 @@
 Writes the value of Item to the given file.
 
           The exception Mode_Error is propagated if the mode is not
-Out_File or Append_File.  The exception Use_Error is propagated if the capacity
+Out_File or Append_File. The exception Use_Error is propagated if the capacity
           of the external file is exceeded.
 @begin{Example}
 @key[function] End_Of_File(File : @key[in] File_Type) @key[return] Boolean;
 @end{Example}
 
-          Operates on a file of mode In_File.  Returns True if no more
+          Operates on a file of mode In_File. Returns True if no more
           elements can be read from the given file; otherwise returns
           False.
 
@@ -564,7 +557,7 @@
 @LabeledSubClause{The Generic Package Direct_IO}
 
 @begin{StaticSem}
-The generic library package Direct_IO has the following declaration:
+@Leading@;The generic library package Direct_IO has the following declaration:
 @begin{Example}
 @key[with] Ada.IO_Exceptions;
 @key[generic]
@@ -647,7 +640,7 @@
 
 @begin{StaticSem}
 The operations available for direct input and output are described in
-this subclause.  The exception Status_Error is propagated if any of these
+this subclause. The exception Status_Error is propagated if any of these
 operations is attempted for a file that is not open.
 @begin{DescribeCode}
 @begin{Example}
@@ -656,17 +649,17 @@
 @key[procedure] Read(File : @key[in] File_Type; Item : @key[out] Element_Type);
 @end{Example}
 
-          Operates on a file of mode In_File or Inout_File.  In the case
+          Operates on a file of mode In_File or Inout_File. In the case
           of the first form, sets the current index of the given file to
-          the index value given by the parameter From.  Then (for both
+          the index value given by the parameter From. Then (for both
           forms) returns, in the parameter Item, the value of the
           element whose position in the given file is specified by the
           current index of the file; finally, increases the current
           index by one.
 
           The exception Mode_Error is propagated if the mode of the given
-          file is Out_File.  The exception End_Error is propagated if the
-          index to be used exceeds the size of the external file.  The
+          file is Out_File. The exception End_Error is propagated if the
+          index to be used exceeds the size of the external file. The
           exception Data_Error
 
 can be propagated if the element read cannot be
@@ -679,41 +672,41 @@
 @key[procedure] Write(File : @key[in] File_Type; Item : @key[in] Element_Type);
 @end{Example}
 
-          Operates on a file of mode Inout_File or Out_File.  In the
+          Operates on a file of mode Inout_File or Out_File. In the
           case of the first form, sets the index of the given file to
-          the index value given by the parameter To.  Then (for both
+          the index value given by the parameter To. Then (for both
           forms) gives the value of the parameter Item to the element
           whose position in the given file is specified by the current
           index of the file; finally, increases the current index by
           one.
 
           The exception Mode_Error is propagated if the mode of the given
-          file is In_File.  The exception Use_Error is propagated if the
+          file is In_File. The exception Use_Error is propagated if the
           capacity of the external file is exceeded.
 @begin{Example}
 @key[procedure] Set_Index(File : @key[in] File_Type; To : @key[in] Positive_Count);
 @end{Example}
 
-          Operates on a file of any mode.  Sets the current index of the
+          Operates on a file of any mode. Sets the current index of the
           given file to the given index value (which may exceed the
           current size of the file).
 @begin{Example}
 @key[function] Index(File : @key[in] File_Type) @key[return] Positive_Count;
 @end{Example}
 
-          Operates on a file of any mode.  Returns the current index of
+          Operates on a file of any mode. Returns the current index of
           the given file.
 @begin{Example}
 @key[function] Size(File : @key[in] File_Type) @key[return] Count;
 @end{Example}
 
-          Operates on a file of any mode.  Returns the current size of
+          Operates on a file of any mode. Returns the current size of
           the external file that is associated with the given file.
 @begin{Example}
 @key[function] End_Of_File(File : @key[in] File_Type) @key[return] Boolean;
 @end{Example}
 
-          Operates on a file of mode In_File or Inout_File.  Returns
+          Operates on a file of mode In_File or Inout_File. Returns
           True if the current index exceeds the size of the external
           file; otherwise returns False.
 
@@ -730,7 +723,7 @@
 
 @begin{Intro}
 The generic package Storage_IO provides for reading from and
-writing to an in-memory buffer.  This generic package supports
+writing to an in-memory buffer. This generic package supports
 the construction of user-defined input-output packages.
 @begin{Reason}
   This package exists to allow the portable construction of
@@ -738,10 +731,10 @@
   The Write procedure writes a value of type Element_Type into a
   Storage_Array of size Buffer_Size, flattening out any implicit
   levels of indirection used in the representation of the
-  type.  The Read procedure reads
+  type. The Read procedure reads
   a value of type Element_Type from the buffer, reconstructing
   any implicit levels of indirection used in the representation
-  of the type.  It also properly initializes any type tags that appear
+  of the type. It also properly initializes any type tags that appear
   within the value, presuming that the buffer was written by
   a different program and that tag values for the@lquotes@;same@rquotes@; type
   might vary from one executable to another.
@@ -749,7 +742,7 @@
 @end{Intro}
 
 @begin{StaticSem}
-The generic library package Storage_IO has the following declaration:
+@Leading@;The generic library package Storage_IO has the following declaration:
 @begin{Example}
 @ChildUnit{Parent=[Ada],Child=[Storage_IO]}
 @key[with] Ada.IO_Exceptions;
@@ -782,11 +775,11 @@
 including any implicit levels of indirection used by the implementation.
 
 @begin{Reason}
-As with Direct_IO, the Element_Type formal of Storage_IO does not have an
-@nt{unknown_discriminant_part}
+@Leading@;As with Direct_IO, the Element_Type formal of Storage_IO does not
+have an @nt{unknown_discriminant_part}
 so that there is a well-defined upper bound on the size of
 the buffer needed to hold the content of an object of the
-formal subtype (i.e. Buffer_Size).  If there are no implicit levels
+formal subtype (i.e. Buffer_Size). If there are no implicit levels
 of indirection, Buffer_Size will typically equal:
 @begin{Example}
 (Element_Type'Size + System.Storage_Unit - 1) / System.Storage_Unit
@@ -808,25 +801,25 @@
 
 @begin{StaticSem}
 This clause describes the package Text_IO, which provides facilities
-for input and output in human-readable form.  Each file is read or
+for input and output in human-readable form. Each file is read or
 written sequentially, as a sequence of characters grouped into lines,
-and as a sequence of lines grouped into pages.  The specification of the
+and as a sequence of lines grouped into pages. The specification of the
 package is given below in subclause
 @RefSecNum{The Package Text_IO}.
 
 The facilities for file management given above, in subclauses
 @RefSecNum{File Management} and
 @RefSecNum{Sequential Input-Output Operations},
-are available for text input-output.  In place of Read and
+are available for text input-output. In place of Read and
 Write, however, there are procedures Get and Put that input values of
-suitable types from text files, and output values to them.  These values
+suitable types from text files, and output values to them. These values
 are provided to the Put procedures, and returned by the Get procedures,
-in a parameter Item.  Several overloaded procedures of these names
-exist, for different types of Item.  These Get procedures analyze the
+in a parameter Item. Several overloaded procedures of these names
+exist, for different types of Item. These Get procedures analyze the
 input sequences of characters based on
 lexical elements (see Section 2) and
 return the corresponding values; the Put procedures output the given
-values as appropriate lexical elements.  Procedures Get and Put are also
+values as appropriate lexical elements. Procedures Get and Put are also
 available that input and output individual characters treated as
 character values rather than as lexical elements.
 Related to character input are procedures to look ahead at the
@@ -835,33 +828,33 @@
 
 In addition to the procedures Get and Put for numeric and enumeration
 types of Item that operate on text files, analogous procedures are
-provided that read from and write to a parameter of type String.  These
+provided that read from and write to a parameter of type String. These
 procedures perform the same analysis and composition of character
 sequences as their counterparts which have a file parameter.
 
 For all Get and Put procedures that operate on text files, and for many
 other subprograms, there are forms with and without a file parameter.
 Each such Get procedure operates on an input file, and each such Put
-procedure operates on an output file.  If no file is specified, a
+procedure operates on an output file. If no file is specified, a
 default input file or a default output file is used.
 
 @Defn{standard input file}
 @Defn{standard output file}
 At the beginning of program execution the default input and output files
-are the so-called standard input file and standard output file.  These
+are the so-called standard input file and standard output file. These
 files are open, have respectively the current modes In_File and
 Out_File, and are associated with two implementation-defined external
-files.  Procedures are provided to change the current default input file
+files. Procedures are provided to change the current default input file
 and the current default output file.
 @ImplDef{external files for standard input, standard output, and
 standard error}
 
 @Defn{standard error file}
-At the beginning of program execution a default  file for
+At the beginning of program execution a default file for
 program-dependent error-related text output is the
-so-called standard error file.  This file is open, has the current
+so-called standard error file. This file is open, has the current
 mode Out_File, and is associated with an implementation-defined
-external file.  A procedure is provided to change the current
+external file. A procedure is provided to change the current
 default error file.
 
 @Defn{line terminator}
@@ -873,18 +866,18 @@
 the combination of a line terminator immediately followed by a @i{page
 terminator}; and the end of a file is marked by the combination of a line
 terminator immediately followed by a page terminator and then a @i{file
-terminator}.  Terminators are generated during output; either by calls of
+terminator}. Terminators are generated during output; either by calls of
 procedures provided expressly for that purpose; or implicitly as part of
 other operations, for example, when a bounded line length, a bounded
 page length, or both, have been specified for a file.
 
 The actual nature of terminators is not defined by the language and
-hence depends on the implementation.  Although terminators are
+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
+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
+outputs nor explicitly inputs control characters. The effect of input
 (Get)
 or output (Put)
 of control characters (other than horizontal tabulation) is
@@ -896,13 +889,13 @@
 @Defn{current line number}
 @Defn{current page number}
 The characters of a line are numbered, starting from one; the number of
-a character is called its @i{column number}.  For a line terminator, a
+a character is called its @i{column number}. For a line terminator, a
 column number is also defined: it is one more than the number of
-characters in the line.  The lines of a page, and the pages of a file,
-are similarly numbered.  The current column number is the column number
-of the next character or line terminator to be transferred.  The current
-line number is the number of the current line.  The current page number
-is the number of the current page.  These numbers are values of the
+characters in the line. The lines of a page, and the pages of a file,
+are similarly numbered. The current column number is the column number
+of the next character or line terminator to be transferred. The current
+line number is the number of the current line. The current page number
+is the number of the current page. These numbers are values of the
 subtype Positive_Count of the type Count (by convention, the value zero
 of the type Count is used to indicate special conditions).
 @begin{Example}
@@ -912,19 +905,19 @@
 
 @Defn{maximum line length}
 @Defn{maximum page length}
-For an output file or an append file, a @i{maximum line length} can be specified and a
-@i{maximum page length} can be specified.  If a value to be output cannot fit on the
-current line, for a specified maximum line length, then a new line is
-automatically started before the value is output; if, further, this new
+For an output file or an append file, a @i{maximum line length} can be specified
+and a @i{maximum page length} can be specified. If a value to be output cannot
+fit on the current line, for a specified maximum line length, then a new line
+is automatically started before the value is output; if, further, this new
 line cannot fit on the current page, for a specified maximum page
 length, then a new page is automatically started before the value is
-output.  Functions are provided to determine the maximum line length and
-the maximum page length.  When a file is opened with mode Out_File
-or Append_File, both
-values are zero: by convention, this means that the line lengths and
-page lengths are unbounded.  (Consequently, output consists of a single
+output. Functions are provided to determine the maximum line length and
+the maximum page length. When a file is opened with mode Out_File
+or Append_File, both values are zero: by convention, this means that the line
+lengths and
+page lengths are unbounded. (Consequently, output consists of a single
 line if the subprograms for explicit control of line and page structure
-are not used.)  The constant Unbounded is provided for this purpose.
+are not used.) The constant Unbounded is provided for this purpose.
 @end{StaticSem}
 
 @begin{Extend83}
@@ -934,7 +927,7 @@
 @LabeledSubClause{The Package Text_IO}
 
 @begin{StaticSem}
-The library package Text_IO has the following declaration:
+@Leading@;The library package Text_IO has the following declaration:
 @begin{Example}
 @key[with] Ada.IO_Exceptions;
 @ChildUnit{Parent=[Ada],Child=[Text_IO]}
@@ -1325,21 +1318,21 @@
 @LabeledSubClause{Text File Management}
 
 @begin{StaticSem}
-The only allowed file modes for text files are the modes In_File,
+@Leading@;The only allowed file modes for text files are the modes In_File,
 Out_File, and Append_File.
 The subprograms given in subclause @RefSecNum{File Management} for the control of
 external files, and the function End_Of_File given in subclause
 @RefSecNum{Sequential Input-Output Operations} for
-sequential input-output, are also available for text files.  There is
+sequential input-output, are also available for text files. There is
 also a version of End_Of_File that refers to the current default input
-file.  For text files, the procedures have the following additional
+file. For text files, the procedures have the following additional
 effects:
 @begin{Itemize}
      For the procedures Create and Open: After a file with mode Out_File or
      Append_File is opened, the page length and line length are unbounded (both have
-     the conventional value zero).  After a file (of any  mode)
-      is opened, the current column, current line, and current
-     page numbers are set to one.  If the mode is Append_File, it
+     the conventional value zero). After a file (of any  mode)
+     is opened, the current column, current line, and current
+     page numbers are set to one. If the mode is Append_File, it
      is implementation defined whether a page terminator will separate
      preexisting text in the file from the new text to be written.
 @begin{Reason}
@@ -1347,7 +1340,7 @@
 sensible for Open to set the current column, line, and page number based on
 the number of pages in the file, the number of lines on the last
 page, and the number of columns in the last line, we rejected this
-approach because of implementation costs; it  would require
+approach because of implementation costs; it would require
 the implementation to scan the file before doing the append,
 or to do processing that would be equivalent in effect.
 
@@ -1359,9 +1352,8 @@
 @end{Reason}
 
      For the procedure Close: If the file has the current mode Out_File
-or Append_File,
-     has the effect of calling New_Page, unless the current page is
-     already terminated; then outputs a file terminator.
+     or Append_File, has the effect of calling New_Page, unless the current
+     page is already terminated; then outputs a file terminator.
 
 
 For the procedure Reset: If the file has the current mode Out_File
@@ -1385,7 +1377,7 @@
 @end{StaticSem}
 
 @begin{Notes}
-An implementation can define the Form parameter of
+@Leading@;An implementation can define the Form parameter of
 Create and Open to control effects including the following:
 @begin{itemize}
 the interpretation of line and column numbers for an interactive file,
@@ -1408,22 +1400,22 @@
 @key[procedure] Set_Input(File : @key[in] File_Type);
 @end{Example}
 
-          Operates on a file of mode In_File.  Sets the current default
+          Operates on a file of mode In_File. Sets the current default
           input file to File.
 
           The exception Status_Error is propagated if the given file is not
-          open.  The exception Mode_Error is propagated if the mode of the
+          open. The exception Mode_Error is propagated if the mode of the
           given file is not In_File.
 @begin{Example}
 @key[procedure] Set_Output(File : @key[in] File_Type);
 @key[procedure] Set_Error (File : @key[in] File_Type);
 @end{Example}
 
-          Each operates on a file of mode Out_File or Append_File.  Set_Output
-        sets the current default output file to File.
+          Each operates on a file of mode Out_File or Append_File. Set_Output
+          sets the current default output file to File.
           Set_Error sets the current default error file to File.
           The exception Status_Error is propagated if the given file is not
-          open.  The exception Mode_Error is propagated if the mode of the
+          open. The exception Mode_Error is propagated if the mode of the
           given file is not Out_File or Append_File.
 @begin{Example}
 @key[function] Standard_Input @key[return] File_Type;
@@ -1496,19 +1488,16 @@
 
 If the Close operation is applied to a file object that is also serving
 as the default input, default output, or default error
-file,  then subsequent operations on
+file, then subsequent operations on
 such a default file are erroneous.
 @end{Erron}
 
 @begin{Notes}
-The standard input,
-standard output, and standard error
-files cannot be opened,
-closed, reset, or deleted, because the parameter File of the
-corresponding procedures has the mode @key[in] @key[out].
+The standard input, standard output, and standard error
+files cannot be opened, closed, reset, or deleted, because the
+parameter File of the corresponding procedures has the mode @key[in] @key[out].
 
-The standard input, standard output, and standard
-error files are different
+The standard input, standard output, and standard error files are different
 file objects, but not necessarily different external files.
 @end{Notes}
 
@@ -1516,13 +1505,13 @@
 
 @begin{StaticSem}
 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
+and page structure of a file of mode Out_File or Append_File. They operate
 either on
 the file given as the first parameter, or, in the absence of such a file
-parameter, on the current default output file.  They provide for output
-of text with a specified maximum line length or page length.  In these
+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
+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.
@@ -1537,7 +1526,7 @@
 @end{Example}
 
           Sets the maximum line length of the specified output or append file to
-          the number of characters specified by To.  The value zero for
+          the number of characters specified by To. The value zero for
           To specifies an unbounded line length.
 @begin{Ramification}
 The setting
@@ -1553,7 +1542,7 @@
 @end{Example}
 
           Sets the maximum page length of the specified output or append file to
-          the number of lines specified by To.  The value zero for To
+          the number of lines specified by To. The value zero for To
           specifies an unbounded page length.
 
           The exception Use_Error is propagated if the specified page length
@@ -1585,7 +1574,7 @@
 The subprograms described in this subclause provide for explicit control
 of line and page structure; they operate either on the file given as the
 first parameter, or, in the absence of such a file parameter, on the
-appropriate (input or output) current default file.  The exception
+appropriate (input or output) current default file. The exception
 Status_Error is propagated by any of these subprograms if the file to be
 used is not open.
 @begin{DescribeCode}
@@ -1597,7 +1586,7 @@
           Operates on a file of mode Out_File or Append_File.
 
           For a Spacing of one: Outputs a line terminator and sets the
-          current column number to one.  Then increments the current
+          current column number to one. Then increments the current
           line number by one, except in the case that the current line
           number is already greater than or equal to the maximum page
           length, for a bounded page length; in that case a page
@@ -1619,9 +1608,9 @@
 
           For a Spacing of one: Reads and discards all characters until
           a line terminator has been read, and then sets the current
-          column number to one.  If the line terminator is not
+          column number to one. If the line terminator is not
           immediately followed by a page terminator, the current line
-          number is incremented by one.  Otherwise, if the line
+          number is incremented by one. Otherwise, if the line
           terminator is immediately followed by a page terminator, then
           the page terminator is skipped, the current page number is
           incremented by one, and the current line number is set to one.
@@ -1638,7 +1627,7 @@
 @key[function] End_Of_Line @key[return] Boolean;
 @end{Example}
 
-          Operates on a file of mode In_File.  Returns True if a line
+          Operates on a file of mode In_File. Returns True if a line
           terminator or a file terminator is next; otherwise returns
           False.
 
@@ -1649,11 +1638,11 @@
 @key[procedure] New_Page;
 @end{Example}
 
-          Operates on a file of mode Out_File or Append_File.  Outputs a line
+          Operates on a file of mode Out_File or Append_File. Outputs a line
           terminator if the current line is not terminated, or if the
           current page is empty (that is, if the current column and line
-          numbers are both equal to one).  Then outputs a page
-          terminator, which terminates the current page.  Adds one to
+          numbers are both equal to one). Then outputs a page
+          terminator, which terminates the current page. Adds one to
           the current page number and sets the current column and line
           numbers to one.
 
@@ -1665,9 +1654,9 @@
 @key[procedure] Skip_Page;
 @end{Example}
 
-          Operates on a file of mode In_File.  Reads and discards all
+          Operates on a file of mode In_File. Reads and discards all
           characters and line terminators until a page terminator has
-          been read.  Then adds one to the current page number, and sets
+          been read. Then adds one to the current page number, and sets
           the current column and line numbers to one.
 
           The exception Mode_Error is propagated if the mode is not In_File.
@@ -1679,7 +1668,7 @@
 @key[function] End_Of_Page @key[return] Boolean;
 @end{Example}
 
-          Operates on a file of mode In_File.  Returns True if the
+          Operates on a file of mode In_File. Returns True if the
           combination of a line terminator and a page terminator is
           next, or if a file terminator is next; otherwise returns
           False.
@@ -1691,14 +1680,14 @@
 @key[function] End_Of_File @key[return] Boolean;
 @end{Example}
 
-          Operates on a file of mode In_File.  Returns True if a file
+          Operates on a file of mode In_File. Returns True if a file
           terminator is next, or if the combination of a line, a page,
           and a file terminator is next; otherwise returns False.
 
           The exception Mode_Error is propagated if the mode is not In_File.
 
 The following subprograms provide for the control of the current
-position of reading or writing in a file.  In all cases, the default
+position of reading or writing in a file. In all cases, the default
 file is the current output file.
 
 @begin{Example}
@@ -1706,14 +1695,14 @@
 @key[procedure] Set_Col(To   : @key[in] Positive_Count);
 @end{Example}
 
-          If the file mode is Out_File or Append_File:
+          @Leading@;If the file mode is Out_File or Append_File:
 @begin{itemize}
                If the value specified by To is greater than the current
                column number, outputs spaces, adding one to the current
                column number after each space, until the current column
-               number equals the specified value.  If the value
+               number equals the specified value. If the value
                specified by To is equal to the current column number,
-               there is no effect.  If the value specified by To is less
+               there is no effect. If the value specified by To is less
                than the current column number, has the effect of calling
                New_Line (with a spacing of one), then outputs (To @en 1)
                spaces, and sets the current column number to the
@@ -1725,13 +1714,13 @@
                conventional value zero).
 @end{itemize}
 
-          If the file mode is In_File:
+          @Leading@;If the file mode is In_File:
 @begin{itemize}
                Reads (and discards) individual characters, line
                terminators, and page terminators, until the next
                character to be read has a column number that equals the
                value specified by To; there is no effect if the current
-               column number already equals this value.  Each transfer
+               column number already equals this value. Each transfer
                of a character or terminator maintains the current
                column, line, and page numbers in the same way as a Get
                procedure (see @RefSecNum{Get and Put Procedures}).
@@ -1747,14 +1736,14 @@
 @key[procedure] Set_Line(To   : @key[in] Positive_Count);
 @end{Example}
 
-          If the file mode is Out_File or Append_File:
+          @Leading@;If the file mode is Out_File or Append_File:
 @begin{itemize}
                If the value specified by To is greater than the current
                line number, has the effect of repeatedly calling
                New_Line (with a spacing of one), until the current line
-               number equals the specified value.  If the value
+               number equals the specified value. If the value
                specified by To is equal to the current line number,
-               there is no effect.  If the value specified by To is less
+               there is no effect. If the value specified by To is less
                than the current line number, has the effect of calling
                New_Page followed by a call of New_Line with a spacing
                equal to (To @en 1).
@@ -1765,12 +1754,12 @@
                conventional value zero).
 @end{itemize}
 
-          If the mode is In_File:
+          @Leading@;If the mode is In_File:
 @begin{itemize}
                Has the effect of repeatedly calling Skip_Line (with a
                spacing of one), until the current line number equals the
                value specified by To; there is no effect if the current
-               line number already equals this value.  (Short pages will
+               line number already equals this value. (Short pages will
                be skipped until a page is reached that has a line at the
                specified line position.)
 
@@ -1810,7 +1799,7 @@
 
 The column number, line number, or page number are allowed to exceed
 Count'Last (as a consequence of the input or output of sufficiently many
-characters, lines, or pages).  These events do not cause any exception
+characters, lines, or pages). These events do not cause any exception
 to be propagated.
 However, a call of Col, Line, or Page propagates the
 exception Layout_Error if the corresponding number exceeds Count'Last.
@@ -1818,7 +1807,7 @@
 
 @begin{Notes}
 A page terminator is always skipped whenever the preceding line
-terminator is skipped.  An implementation may represent the combination
+terminator is skipped. An implementation may represent the combination
 of these terminators by a single character, provided that it is properly
 recognized on input.
 @end{Notes}
@@ -1826,33 +1815,32 @@
 @LabeledSubClause{Get and Put Procedures}
 
 @begin{StaticSem}
-The procedures Get and Put for items of the type Character,  String,
+The procedures Get and Put for items of the type Character, String,
 numeric types, and enumeration types are described in subsequent
 subclauses.
 Features of these procedures that are common to most of these
-types are described in this subclause.  The Get and Put procedures for
+types are described in this subclause. The Get and Put procedures for
 items of type Character and String deal with individual character
 values; the Get and Put procedures for numeric and enumeration types
 treat the items as lexical elements.
 
 All procedures Get and Put have forms with a
 file parameter, written
-first.  Where this parameter is omitted, the appropriate (input or
-output) current default file is understood to be specified.  Each
-procedure Get  operates on a
-file of mode In_File.  Each procedure Put
+first. Where this parameter is omitted, the appropriate (input or
+output) current default file is understood to be specified. Each
+procedure Get operates on a
+file of mode In_File. Each procedure Put
 operates on a file of mode Out_File or Append_File.
 
-All procedures Get
- and Put maintain the current column, line, and page
+All procedures Get and Put maintain the current column, line, and page
 numbers of the specified file: the effect of each of these procedures
 upon these numbers is the result of the effects of individual
 transfers of characters and of individual output or skipping of
-terminators.  Each transfer of a character adds one to the current
-column number.  Each output of a line terminator sets the current column
-number to one and adds one to the current line number.  Each output of a
+terminators. Each transfer of a character adds one to the current
+column number. Each output of a line terminator sets the current column
+number to one and adds one to the current line number. Each output of a
 page terminator sets the current column and line numbers to one and adds
-one to the current page number.  For input, each skipping of a line
+one to the current page number. For input, each skipping of a line
 terminator sets the current column number to one and adds one to the
 current line number; each skipping of a page terminator sets the current
 column and line numbers to one and adds one to the current page number.
@@ -1865,62 +1853,62 @@
 
 @Defn2{Term=[blank], Sec=(in text input for enumeration and numeric types)}
 Input-output of enumeration values uses the syntax of the corresponding
-lexical elements.  Any Get procedure for an enumeration type begins by
-skipping any leading blanks, or line or page terminators.  Get procedures
+lexical elements. Any Get procedure for an enumeration type begins by
+skipping any leading blanks, or line or page terminators. Get procedures
 for numeric or enumeration types start by skipping leading blanks, where
 a @i{blank} is defined as a space or a horizontal tabulation character.
 Next,
 characters are input only so long as the sequence input is an initial
 sequence of an identifier or of a character literal (in particular,
-input ceases when a line terminator is encountered).  The character or
+input ceases when a line terminator is encountered). The character or
 line terminator that causes input to cease remains available for
 subsequent input.
 
 For a numeric type, the Get procedures have a format parameter called
-Width.  If the value given for this parameter is zero, the Get procedure
+Width. If the value given for this parameter is zero, the Get procedure
 proceeds in the same manner as for enumeration types, but using the
-syntax of numeric literals instead of that of enumeration literals.  If
+syntax of numeric literals instead of that of enumeration literals. If
 a nonzero value is given, then exactly Width characters are input, or
 the characters up to a line terminator, whichever comes first; any
-skipped leading blanks are included in the count.  The syntax used for
+skipped leading blanks are included in the count. The syntax used for
 numeric literals is an extended syntax that allows a leading sign (but
 no intervening blanks, or line or page terminators)
-and that also allows (for real types)  an integer literal
-as well as forms that have digits only before the  point
-or only after the  point.
+and that also allows (for real types) an integer literal
+as well as forms that have digits only before the point
+or only after the point.
 
 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
+character literal, as appropriate. This is preceded by leading spaces
 if required by the format parameters Width or Fore (as described in
 later subclauses), and then a minus sign for a negative value; for an
-enumeration type, the spaces follow instead of leading.  The format
+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.
 
 Two further cases arise for Put procedures for numeric and enumeration
 types, if the line length of the specified output file is bounded (that
-is, if it does not have the conventional value zero).  If the number of
+is, if it does not have the conventional value zero). If the number of
 characters to be output does not exceed the maximum line length, but is
 such that they cannot fit on the current line, starting from the current
 column, then (in effect) New_Line is called (with a spacing of one)
-before output of the item.  Otherwise, if the number of characters
+before output of the item. Otherwise, if the number of characters
 exceeds the maximum line length, then the exception Layout_Error is
 propagated and nothing is output.
 
 The exception Status_Error is propagated by any of the procedures Get,
-Get_Line, Put, and Put_Line if the file to be used is not open.  The
+Get_Line, Put, and Put_Line if the file to be used is not open. The
 exception Mode_Error is propagated by the procedures Get and Get_Line if the
 mode of the file to be used is not In_File; and by the procedures Put
 and Put_Line, if the mode is not Out_File or Append_File.
 
 The exception End_Error is propagated by a Get procedure if an attempt is
-made to skip a file terminator.  The exception Data_Error is propagated by a
+made to skip a file terminator. The exception Data_Error is propagated by a
 Get procedure if the sequence finally input is not a lexical element
 corresponding to the type, in particular if no characters were input;
 for this test, leading blanks are ignored; for an item of a numeric
 type, when a sign is input, this rule applies to the succeeding numeric
-literal.  The exception Layout_Error is propagated by a Put procedure that
+literal. The exception Layout_Error is propagated by a Put procedure that
 outputs to a parameter of type String, if the length of the actual
 string is insufficient for the output of the item.
 @end{StaticSem}
@@ -1945,7 +1933,9 @@
 @RI[--  @\bb12_535e; @\12_535e @\(none) Data_Error raised]
 @end{Example}
 
-Example of overridden width parameter:
+@begin{Wide}
+@Leading@;Example of overridden width parameter:
+@end{Wide}
 
 @begin{Example}
 Put(Item => -23, Width => 2);  --@RI{  "@en@|23"}
@@ -1955,7 +1945,7 @@
 @LabeledSubClause{Input-Output of Characters and Strings}
 
 @begin{StaticSem}
-For an item of type Character the following procedures are provided:
+@Leading@;For an item of type Character the following procedures are provided:
 @begin{DescribeCode}
 @begin{Example}
 @key[procedure] Get(File : @key[in] File_Type; Item : @key[out] Character);
@@ -1976,7 +1966,7 @@
           If the line length of the specified output file is bounded
           (that is, does not have the conventional value zero), and the
           current column number exceeds it, has the effect of calling
-          New_Line with a spacing of one.  Then, or otherwise, outputs
+          New_Line with a spacing of one. Then, or otherwise, outputs
           the given character to the file.
 @begin{Example}
 @key[procedure] Look_Ahead (File        : @key[in]  File_Type;
@@ -2001,8 +1991,8 @@
 @end{Example}
 
 Reads the next character, either control or graphic, from the specified
-File or the default input file.  Mode_Error is propagated if the mode of the
-file is not In_File.  End_Error is propagated if at the end of the file.
+File or the default input file. Mode_Error is propagated if the mode of the
+file is not In_File. End_Error is propagated if at the end of the file.
 The current column, line and page numbers for the file are not affected.
 
 @begin{Example}
@@ -2015,16 +2005,15 @@
 
 If a character, either control or graphic, is available from the
 specified File or the default input file, then the character is read;
-Available is  True
-and Item contains the value of this character.  If a character
+Available is True and Item contains the value of this character. If a character
 is not available, then Available is False and the value of
 Item is not specified.
 @PDefn{unspecified}
 Mode_Error is propagated if the mode of the
-file is not In_File.  End_Error is propagated if at the end of the file.
+file is not In_File. End_Error is propagated if at the end of the file.
 The current column, line and page numbers for the file are not affected.
 
-For an item of type String the following procedures are provided:
+@Leading@;For an item of type String the following procedures are provided:
 
 @begin{Example}
 @key[procedure] Get(File : @key[in] File_Type; Item : @key[out] String);
@@ -2052,20 +2041,18 @@
 @end{Example}
 
 Reads successive characters from the specified input file and assigns
-them to  successive characters of the specified string.
-Reading stops if the end of the string is met.  Reading also stops if
+them to successive characters of the specified string.
+Reading stops if the end of the string is met. Reading also stops if
 the end of the line is met before meeting the end of the string;
 in this case Skip_Line is (in effect) called with a spacing of 1.
 @PDefn{unspecified}
 The values of characters not assigned are not specified.
 
           If characters are read, returns in Last the index value such
-          that Item(Last) is the last character
-          assigned (the index of
-          the first character assigned
-          is Item'First).  If no characters
+          that Item(Last) is the last character assigned (the index of
+          the first character assigned is Item'First). If no characters
           are read, returns in Last an index value that is one less than
-          Item'First.  The exception End_Error is propagated if an attempt
+          Item'First. The exception End_Error is propagated if an attempt
           is made to skip a file terminator.
 
 @begin{Example}
@@ -2080,9 +2067,9 @@
 
 @begin{ImplAdvice}
 The Get_Immediate procedures should be implemented with unbuffered
-input.  For a device such as a keyboard, input should be @lquotes@;available@rquotes@;
+input. For a device such as a keyboard, input should be @lquotes@;available@rquotes@;
 if a key has already been typed, whereas for a disk file, input
-should always be available except at end of file.  For a file
+should always be available except at end of file. For a file
 associated with a keyboard-like device, any line-editing features
 of the underlying operating system should be disabled during
 the execution of Get_Immediate.
@@ -2095,7 +2082,7 @@
 the caller will wait until a character is available.
 
 In a literal string parameter of Put, the enclosing string bracket
-characters are not output.  Each doubled string bracket character in the
+characters are not output. Each doubled string bracket character in the
 enclosed string is output as a single string bracket character, as a
 consequence of the rule for string literals (see @RefSecNum{String Literals}).
 
@@ -2116,9 +2103,9 @@
 (indicated by Num in the specifications).
 
 Values are output as decimal or based literals, without low line
-characters or exponent, and, for Integer_IO, preceded by a minus sign if negative.  The
+characters or exponent, and, for Integer_IO, preceded by a minus sign if negative. The
 format (which includes any leading spaces and minus sign) can be
-specified by an optional field width parameter.  Values of widths of
+specified by an optional field width parameter. Values of widths of
 fields in output formats are of the nonnegative integer subtype Field.
 Values of bases are of the integer subtype Number_Base.
 
@@ -2126,7 +2113,7 @@
 @key[subtype] Number_Base @key[is] Integer @key[range] 2 .. 16;
 @end{Example}
 
-The default field width and base to be used by output procedures are
+@Leading@;The default field width and base to be used by output procedures are
 defined by the following variables that are declared in the generic
 packages Integer_IO and Modular_IO:
 
@@ -2135,33 +2122,33 @@
 Default_Base  : Number_Base := 10;
 @end{Example}
 
-The following procedures are provided:
+@begin{Wide}
+@Leading@;The following procedures are provided:
+@end{Wide}
 @begin{DescribeCode}
 @begin{Example}
 @key[procedure] Get(File : @key[in] File_Type; Item : @key[out] Num; Width : @key[in] Field := 0);
 @key[procedure] Get(Item : @key[out] Num; Width : @key[in] Field := 0);
 @end{Example}
 
-          If the value of the parameter Width is zero, skips any leading
-          blanks, line terminators, or page terminators, then
-          reads a plus sign if present or
-          (for a signed type only)
-          a minus sign if present, then reads the longest possible
-          sequence of characters matching the syntax of a numeric
-          literal without a point.
-          If a nonzero value of Width is supplied, then exactly Width
-          characters are input, or the characters (possibly none) up to
-          a line terminator, whichever comes first; any skipped leading
-          blanks are included in the count.
-
-          Returns, in the parameter Item, the  value of type Num
-           that
-          corresponds to the sequence input.
-
-          The exception Data_Error is propagated if the sequence of characters
-read does not form a legal integer literal or if the value obtained is not
-          of the subtype Num (for Integer_IO) or is not in the base
-          range of Num (for Modular_IO).
+      If the value of the parameter Width is zero, skips any leading
+      blanks, line terminators, or page terminators, then
+      reads a plus sign if present or (for a signed type only)
+      a minus sign if present, then reads the longest possible
+      sequence of characters matching the syntax of a numeric
+      literal without a point.
+      If a nonzero value of Width is supplied, then exactly Width
+      characters are input, or the characters (possibly none) up to
+      a line terminator, whichever comes first; any skipped leading
+      blanks are included in the count.
+
+      Returns, in the parameter Item, the value of type Num
+      that corresponds to the sequence input.
+
+      The exception Data_Error is propagated if the sequence of characters
+      read does not form a legal integer literal or if the value obtained is
+      not of the subtype Num (for Integer_IO) or is not in the base
+      range of Num (for Modular_IO).
 
 @begin{Example}
 @key[procedure] Put(File  : @key[in] File_Type;
@@ -2195,7 +2182,7 @@
           Reads an integer value from the beginning of the given string,
           following the same rules as the Get procedure that reads an
           integer value from a file, but treating the end of the string
-          as a file terminator.  Returns, in the parameter Item, the
+          as a file terminator. Returns, in the parameter Item, the
           value of type Num that corresponds to the sequence input.
           Returns in Last the index value such that From(Last) is the
           last character read.
@@ -2216,7 +2203,7 @@
 @end{DescribeCode}
 
 
-Integer_Text_IO is a library package that is a nongeneric equivalent
+@Leading@;Integer_Text_IO is a library package that is a nongeneric equivalent
 to Text_IO.Integer_IO for the predefined type Integer:
 @ChildUnit{Parent=[Ada],Child=[Integer_@!Text_IO]}
 @begin{Example}
@@ -2266,28 +2253,28 @@
 appropriate floating point, ordinary fixed point, or decimal fixed point
 type respectively (indicated by Num in the specifications).
 
-Values are output as decimal literals without low line characters.  The
-format of each value output consists of a Fore field, a decimal point,
+@Leading@;Values are output as decimal literals without low line characters.
+The format of each value output consists of a Fore field, a decimal point,
 an Aft field, and (if a nonzero Exp parameter is supplied) the letter E
-and an Exp field.  The two possible formats thus correspond to:
+and an Exp field. The two possible formats thus correspond to:
 
 @begin{Example}
 Fore  .  Aft
 @end{Example}
 
-and to:
+@Leading@;and to:
 
 @begin{Example}
 Fore  .  Aft  E  Exp
 @end{Example}
 
-without any spaces between these fields.  The Fore field may include
-leading spaces, and a minus sign for negative values.  The Aft field
-includes only decimal digits (possibly with trailing zeros).  The Exp
+without any spaces between these fields. The Fore field may include
+leading spaces, and a minus sign for negative values. The Aft field
+includes only decimal digits (possibly with trailing zeros). The Exp
 field includes the sign (plus or minus) and the exponent (possibly with
 leading zeros).
 
-For floating point types, the default lengths of these fields are
+@Leading@;For floating point types, the default lengths of these fields are
 defined by the following variables that are declared in the generic
 package Float_IO:
 
@@ -2297,7 +2284,7 @@
 Default_Exp  : Field := 3;
 @end{Example}
 
-For ordinary or decimal fixed point types, the default lengths of these
+@Leading@;For ordinary or decimal fixed point types, the default lengths of these
 fields are defined by the following variables that are declared in the
 generic packages Fixed_IO and Decimal_IO, respectively:
 
@@ -2307,19 +2294,19 @@
 Default_Exp  : Field := 0;
 @end{Example}
 
-The following procedures are provided:
+@begin{Wide}
+@Leading@Keepnext@;The following procedures are provided:
+@end{Wide}
 @begin{DescribeCode}
 @begin{Example}
 @key[procedure] Get(File : @key[in] File_Type; Item : @key[out] Num; Width : @key[in] Field := 0);
 @key[procedure] Get(Item : @key[out] Num; Width : @key[in] Field := 0);
 @end{Example}
-
-          If the value of the parameter Width is zero, skips any leading
-          blanks, line terminators, or page terminators,
 
-          then reads the longest possible sequence of characters
-          matching the syntax of any of the following
-          (see @RefSecNum(Numeric Literals)):
+@Leading@;If the value of the parameter Width is zero, skips any leading
+blanks, line terminators, or page terminators, then reads the longest
+possible sequence of characters matching the syntax of any of the following
+(see @RefSecNum(Numeric Literals)):
 @begin[itemize]
 [+|@en]@nt[numeric_literal]
 
@@ -2338,13 +2325,10 @@
           a line terminator, whichever comes first; any skipped leading
           blanks are included in the count.
 
-
           Returns in the parameter Item the value of type Num that
-          corresponds to the sequence input,
-preserving the sign (positive if none has been specified)
-of a zero value if Num is a floating point type and Num'Signed_Zeros is
-True.
-
+          corresponds to the sequence input, preserving the sign (positive
+          if none has been specified) of a zero value if Num is a floating
+          point type and Num'Signed_Zeros is True.
 
           The exception Data_Error is propagated if the sequence input does
           not have the required syntax or if the value obtained is not
@@ -2362,44 +2346,40 @@
               Aft  : @key[in] Field := Default_Aft;
               Exp  : @key[in] Field := Default_Exp);
 @end{Example}
-
-          Outputs the value of the parameter Item as a decimal literal
-          with the format defined by Fore, Aft and Exp.  If the value is
-          negative,
 
-or if Num is a floating point type where Num'Signed_Zeros is True and
+Outputs the value of the parameter Item as a decimal literal
+with the format defined by Fore, Aft and Exp. If the value is
+negative, or if Num is a floating point type where Num'Signed_Zeros is True and
 the value is a negatively signed zero, then
 a minus sign is included in the integer part.
 
-          If Exp has the value zero, then the integer part to be output has
-          as many digits as are needed to represent the integer part of
-          the value of Item, overriding Fore if necessary, or consists
-          of the digit zero if the value of Item has no integer part.
-
-          If Exp has a value greater than zero, then the integer part to
-          be output has a single digit, which is nonzero except for the
-          value 0.0 of Item.
-
-          In both cases, however, if the integer part to be output has
-          fewer than Fore characters, including any minus sign, then
-          leading spaces are first output to make up the difference.
-          The number of digits of the fractional part is given by Aft,
-          or is one if Aft equals zero.
-
-The value is rounded; a value
-          of exactly one half in the last place
-          is rounded away from zero.
-
-
-          If Exp has the value zero, there is no exponent part.  If Exp
-          has a value greater than zero, then the exponent part to be
-          output has as many digits as are needed to represent the
-          exponent part of the value of Item (for which a single digit
-          integer part is used), and includes an initial sign (plus or
-          minus).  If the exponent part to be output has fewer than Exp
-          characters, including the sign, then leading zeros precede the
-          digits, to make up the difference.  For the value 0.0 of Item,
-          the exponent has the value zero.
+If Exp has the value zero, then the integer part to be output has
+as many digits as are needed to represent the integer part of
+the value of Item, overriding Fore if necessary, or consists
+of the digit zero if the value of Item has no integer part.
+
+If Exp has a value greater than zero, then the integer part to
+be output has a single digit, which is nonzero except for the
+value 0.0 of Item.
+
+In both cases, however, if the integer part to be output has
+fewer than Fore characters, including any minus sign, then
+leading spaces are first output to make up the difference.
+The number of digits of the fractional part is given by Aft,
+or is one if Aft equals zero.
+
+The value is rounded; a value of exactly one half in the last place
+is rounded away from zero.
+
+If Exp has the value zero, there is no exponent part. If Exp
+has a value greater than zero, then the exponent part to be
+output has as many digits as are needed to represent the
+exponent part of the value of Item (for which a single digit
+integer part is used), and includes an initial sign (plus or
+minus). If the exponent part to be output has fewer than Exp
+characters, including the sign, then leading zeros precede the
+digits, to make up the difference. For the value 0.0 of Item,
+the exponent has the value zero.
 
 @begin{Example}
 @key[procedure] Get(From : @key[in] String; Item : @key[out] Num; Last : @key[out] Positive);
@@ -2408,8 +2388,8 @@
           Reads a real value from the beginning of the given string,
           following the same rule as the Get procedure that reads a real
           value from a file, but treating the end of the string as a
-          file terminator.  Returns, in the parameter Item, the value of
-          type Num that corresponds to the sequence input.  Returns in
+          file terminator. Returns, in the parameter Item, the value of
+          type Num that corresponds to the sequence input. Returns in
           Last the index value such that From(Last) is the last
           character read.
 
@@ -2431,7 +2411,7 @@
 @end{DescribeCode}
 
 
-Float_Text_IO is a library package that is a nongeneric equivalent
+@Leading@;Float_Text_IO is a library package that is a nongeneric equivalent
 to Text_IO.Float_IO for the predefined type Float:
 @ChildUnit{Parent=[Ada],Child=[Float_@!Text_IO]}
 @begin{Example}
@@ -2512,15 +2492,15 @@
 enumeration type (indicated by Enum in the specification).
 
 Values are output using either upper or lower case letters for
-identifiers.  This is specified by the parameter Set, which is of the
+identifiers. This is specified by the parameter Set, which is of the
 enumeration type Type_Set.
 
 @begin{Example}
 @key[type] Type_Set @key[is] (Lower_Case, Upper_Case);
 @end{Example}
 
-The format (which includes any trailing spaces) can be specified by an
-optional field width parameter.  The default field width and letter case
+@Leading@;The format (which includes any trailing spaces) can be specified
+by an optional field width parameter. The default field width and letter case
 are defined by the following variables that are declared in the generic
 package Enumeration_IO:
 
@@ -2529,7 +2509,9 @@
 Default_Setting : Type_Set := Upper_Case;
 @end{Example}
 
-The following procedures are provided:
+@begin{Wide}
+@Leading@Keepnext@;The following procedures are provided:
+@end{Wide}
 @begin{DescribeCode}
 @begin{Example}
 @key[procedure] Get(File : @key[in] File_Type; Item : @key[out] Enum);
@@ -2540,7 +2522,7 @@
           terminators, reads an identifier according to the syntax of
           this lexical element (lower and upper case being considered
           equivalent), or a character literal according to the syntax of
-          this lexical element (including the apostrophes).  Returns, in
+          this lexical element (including the apostrophes). Returns, in
           the parameter Item, the value of type Enum that corresponds to
           the sequence input.
 
@@ -2561,10 +2543,10 @@
 @end{Example}
 
           Outputs the value of the parameter Item as an enumeration
-          literal (either an identifier or a character literal).  The
+          literal (either an identifier or a character literal). The
           optional parameter Set indicates whether lower case or upper
           case is used for identifiers; it has no effect for character
-          literals.  If the sequence of characters produced has fewer
+          literals. If the sequence of characters produced has fewer
           than Width characters, then trailing spaces are finally output
           to make up the difference.
 
@@ -2586,9 +2568,9 @@
           Reads an enumeration value from the beginning of the given
           string, following the same rule as the Get procedure that
           reads an enumeration value from a file, but treating the end
-          of the string as a file terminator.  Returns, in the parameter
+          of the string as a file terminator. Returns, in the parameter
           Item, the value of type Enum that corresponds to the sequence
-          input.  Returns in Last the index value such that From(Last)
+          input. Returns in Last the index value such that From(Last)
           is the last character read.
 
           The exception Data_Error is propagated if the sequence input does
@@ -2620,7 +2602,7 @@
 
 @begin{Notes}
 There is a difference between Put defined for characters, and for
-enumeration values.  Thus
+enumeration values. Thus
 @begin{Example}
 Ada.Text_IO.Put('A');  --@RI{  outputs the character A}
 
@@ -2636,7 +2618,7 @@
 
 @begin{Intro}
 The package Wide_Text_IO provides facilities
-for input and output in human-readable form.  Each file is read or
+for input and output in human-readable form. Each file is read or
 written sequentially, as a sequence of wide characters grouped into lines,
 and as a sequence of lines grouped into pages.
 @end{Intro}
@@ -2685,12 +2667,12 @@
 @begin{Intro}
 @Defn{heterogeneous input-output}
 @Redundant[The subprograms in the child package Streams.Stream_IO provide control
-over stream files.  Access to a stream file is either sequential,
+over stream files. Access to a stream file is either sequential,
 via a call on Read or Write to transfer an array of stream
- elements,
+elements,
 or positional (if supported by the implementation for the given file),
 by specifying a relative index for an element.
-  Since a stream
+Since a stream
 file can be converted to a Stream_Access value, calling stream-oriented
 attribute subprograms of different element types with the same
 Stream_Access value provides heterogeneous input-output.]
@@ -2698,7 +2680,7 @@
 @end{Intro}
 
 @begin{StaticSem}
-The library package Streams.Stream_IO has the following declaration:
+@Leading@;The library package Streams.Stream_IO has the following declaration:
 @begin(example)
 @key(with) Ada.IO_Exceptions;
 @ChildUnit{Parent=[Ada.Streams],Child=[Stream_@!IO]}
@@ -2808,9 +2790,9 @@
 Input, and Output to be used on the same file for multiple types.
 
 The procedures Read and Write are equivalent to the corresponding operations
-in the package Streams.  Read propagates Mode_Error if the mode of File is
-not In_File.  Write propagates Mode_Error if the mode of File is not
-Out_File or Append_File.  The Read procedure with a Positive_Count
+in the package Streams. Read propagates Mode_Error if the mode of File is
+not In_File. Write propagates Mode_Error if the mode of File is not
+Out_File or Append_File. The Read procedure with a Positive_Count
 parameter starts reading at the specified index.
 The Write procedure with a Positive_Count
 parameter starts writing at the specified index.
@@ -2830,13 +2812,13 @@
 specified value.
 
 If positioning is not supported for the given file, then a call
-of Index or Set_Index propagates Use_Error.  Similarly, a call of
+of Index or Set_Index propagates Use_Error. Similarly, a call of
 Read or Write with a Positive_Count parameter propagates Use_Error.
 
 The Size function returns the current size of the file, in
 stream elements.
 
-The Set_Mode procedure changes the mode of the file.  If the
+The Set_Mode procedure changes the mode of the file. If the
 new mode is Append_File, the file is positioned to its end;
 otherwise, the position in the file is unchanged.
 
@@ -2853,7 +2835,7 @@
 @end{Intro}
 
 @begin{StaticSem}
-The library package Text_IO.Text_Streams has the following declaration:
+@Leading@;The library package Text_IO.Text_Streams has the following declaration:
 @begin{example}
 @key[with] Ada.Streams;
 @ChildUnit{Parent=[Ada.Text_IO],Child=[Text_@!Streams]}
@@ -2886,7 +2868,7 @@
 @end{Intro}
 
 @begin{StaticSem}
-The library package Wide_Text_IO.Text_Streams
+@Leading@;The library package Wide_Text_IO.Text_Streams
 has the following declaration:
 @begin{example}
 @key[with] Ada.Streams;
@@ -2911,7 +2893,7 @@
 @end{Intro}
 
 @begin{StaticSem}
-The library package IO_Exceptions has the following declaration:
+@Leading@;The library package IO_Exceptions has the following declaration:
 @begin{Example}
 @ChildUnit{Parent=[Ada],Child=[IO_Exceptions]}
 @key[package] Ada.IO_Exceptions @key[is]
@@ -2938,8 +2920,8 @@
 
 The exception Mode_Error is propagated by an attempt to read from, or test
 for the end of, a file whose current mode is Out_File or Append_File, and
- also by an
-attempt to write to a file whose current mode is In_File.  In the case
+also by an
+attempt to write to a file whose current mode is In_File. In the case
 of Text_IO, the exception Mode_Error is also propagated by specifying a file
 whose current mode is Out_File or Append_File in a call of Set_Input, Skip_Line,
 End_Of_Line, Skip_Page, or End_Of_Page; and by specifying a file whose
@@ -2948,13 +2930,13 @@
 
 The exception Name_Error is propagated by a call of Create or Open if the
 string given for the parameter Name does not allow the identification of
-an external file.  For example, this exception is propagated if the string
+an external file. For example, this exception is propagated if the string
 is improper, or, alternatively, if either none or more than one external
 file corresponds to the string.
 
 The exception Use_Error is propagated if an operation is attempted that is
 not possible for reasons that depend on characteristics of the external
-file.  For example, this exception is propagated by the procedure Create,
+file. For example, this exception is propagated by the procedure Create,
 among other circumstances, if the given mode is Out_File but the form
 specifies an input only device, if the parameter Form specifies invalid
 access rights, or if an external file with the given name already exists
@@ -2975,10 +2957,10 @@
 required subtype.
 
 The exception Layout_Error is propagated (in text input-output) by Col,
-Line, or Page if the value returned exceeds Count'Last.  The exception
+Line, or Page if the value returned exceeds Count'Last. The exception
 Layout_Error is also propagated on output by an attempt to set column or
 line numbers in excess of specified maximum line or page lengths,
-respectively (excluding the unbounded cases).  It is also propagated by an
+respectively (excluding the unbounded cases). It is also propagated by an
 attempt to Put too many characters to a string.
 @end{StaticSem}
 
@@ -3017,17 +2999,16 @@
 
 @begin{RunTime}
 @PDefn{unspecified}
-It is not specified by the language whether the same external file
-can be associated with more than one file object.  If such sharing
-is supported by the implementation, the following effects are
-defined:
+@Leading@;It is not specified by the language whether the same external file
+can be associated with more than one file object. If such sharing
+is supported by the implementation, the following effects are defined:
 @begin{itemize}
 Operations on one text file object do not affect the column,
 line, and page numbers of any other file object.
 
 Standard_Input and Standard_Output are associated with distinct
 external files, so operations on one of these files cannot affect
-operations on the other file.  In particular, reading from
+operations on the other file. In particular, reading from
 Standard_Input does not affect the current page, line, and column
 numbers for Standard_Output, nor does writing to Standard_Output
 affect the current page, line, and column numbers for Standard_Input.

Questions? Ask the ACAA Technical Agent