Static Semantics
- (1)
- The only allowed file modes for text files are the modes In_File, Out_File,
and Append_File. The subprograms given in subclause A.8.2
for the control of external files, and the function End_Of_File given in subclause
A.8.3 for 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 effects:
- (2)
- 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 is implementation defined whether a page terminator will
separate preexisting text in the file from the new text to be
written.
- (3)
- 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.
- (4)
- For the procedure Reset: 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. The current column, line, and page numbers are set
to one, and the line and page lengths to Unbounded. If the new
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.
- (5)
- The exception Mode_Error is propagated by the procedure Reset upon an
attempt to change the mode of a file that is the current default input file,
the current default output file, or the current default error file.
-
- (6)
(22) An implementation can define the Form parameter of Create and Open
to control effects including the following:
- (7)
- the interpretation of line and column numbers for an
interactive file, and
- (8)
- the interpretation of text formats in a file created by a
foreign program.
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12