Static Semantics
- (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 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 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.
- (2)
- 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
file is not Out_File or Append_File.
(3)
procedure Set_Line_Length(File : in File_Type; To : in Count);
procedure Set_Line_Length(To : in Count);
- (4)
Sets the maximum line length of the specified output or append
file to the number of characters specified by To. The value zero for
To specifies an unbounded line length.
- (5)
The exception Use_Error is propagated if the specified line
length is inappropriate for the associated external file.
(6)
procedure Set_Page_Length(File : in File_Type; To : in Count);
procedure Set_Page_Length(To : in Count);
- (7)
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
specifies an unbounded page length.
- (8)
The exception Use_Error is propagated if the specified page
length is inappropriate for the associated external file.
(9)
function Line_Length(File : in File_Type) return Count;
function Line_Length return Count;
- (10)
Returns the maximum line length currently set for the specified
output or append file, or zero if the line length is unbounded.
(11)
function Page_Length(File : in File_Type) return Count;
function Page_Length return Count;
- (12)
Returns the maximum page length currently set for the specified
output or append file, or zero if the page length is unbounded.
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12