{unspecified
[partial]}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:
2
Operations
on one text file object do not affect the column, line, and page numbers
of any other file object.
3/1
This
paragraph was deleted.{8652/0057}
{AI95-00050-01}
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 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.
4
For direct and stream files, the current
index is a property of each file object; an operation on one file object
does not affect the current index of any other file object.
5
For direct and stream files, the current
size of the file is a property of the external file.
6
All other effects are identical.
Wording Changes from Ada 95
6.a/2
{8652/0057}
{AI95-00050-01}
Corrigendum: Removed the incorrect statement
that the external files associated with the standard input, standard
output, and standard error files are distinct.
Sponsored by Ada-Europe