Re: End_Of_File does not work as expected...

[Mats Weber <matsw@mail.com>]

Jeff Carter wrote:

> The UNIX echo command echoes its command line arguments, IIRC. The
> questioner does not appear to be writing an equivalent program. I am not
> sure what he is trying to accomplish.

Sorry, I meant cat, not echo.

> > while not End_Of_File loop
> >    while not End_Of_Page loop
> >       while not End_Of_Line loop
> >          Get(c);
> >          Put(c);
> >       end loop;
> >       Skip_Line;   -- can be omitted.
> >       New_Line;
> >    end loop;
> >    Skip_Page;   -- can be omitted.
> >    New_Page;
> > end loop;
> 
> If the code does not skip line terminators, then it will raise
> End_Error. If the file does not contain page terminators, this code will
> raise End_Error. When reading from the keyboard, End_Of_File is usually
> always False.

No, it won't raise End_Error in either case, because Get(Character)
starts by skipping any number of line and page terminators and returns
the first character after them. It will only raise End_Error if a file
terminator is after the sequence of line and page terminators.

> My advice would be to use a Get_Line function and Put_Line, and have a
> handler for End_Error.

Agreed.