Re: Streams - copying stdin to stdout

[rdt@liyorkrd.li.co.uk]

In article <osk8xqoek7.fsf@dt022n82.san.rr.com>,
  David Brown <dlbrown@acm.org> wrote:
> Stephen Leake <Stephen.Leake@gsfc.nasa.gov> writes:
>
> > "Chris Miller" <chrismil@ozemail.com.au> writes:
> >
> > > To test the operation of Streams I wrote the following sample
> > > program that copies standard input to standard output :
> > >
> > <snip code>
> > >     while not Text_IO.End_Of_File loop
> > <snip more code>
> >
> > > The problem is that the input file has 5 bytes, which are the characters
> > > "test" plus the line feed added by vi, however the output file is only
> > > 4 bytes.
> >
> > I suspect you want Streams_IO.End_Of_File. Text_IO adds semantics
> > about line and page endings, which will get in your way.
>
> Streams_IO.End_Of_File wants a Ada.Stremas.Stream_IO.File_Type
> whereas we have either a Ada.Text_IO.Text_Streams.Stream_Access
> or Ada.Text_IO.File_Type (or File_Access).
>
> The RM doesn't say much about this.  It looks to me like Text_IO's
> End_Of_File would be the one to use, but it doesn't work.

The problem seems to stem from the fact that you are not calling
Text_Io.Close. Sect A10.2(3) of the RM suggests that this is when page/file
terminators are written to text files.

This would be done after the end of the loop before the program terminates.

However, this is not possible with Standard output as you do not have a
variable File_Type.

Regards
Richard Toy

-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/       Search, Read, Discuss, or Start Your Own