Re: End of File for streams

[Brian Rogoff <bpr@shell5.ba.best.com>]

On Mon, 17 Apr 2000, Robert Dewar wrote:

> In article <8df15j$e4b$1@trog.dera.gov.uk>,
>   "Kevin Rigotti" <rigotti@atc.dera.gov.uk> wrote:
> > I have philosophical and aesthetic objections to trapping the
> > End_Error exception as a means of determining end of file, but
> > is this the only way to do it?
> 
> It's always odd when you have a situation where Ada provides
> an approach X to solving problem Y that works in a perfectly
> straightforward manner, and then asks
> 
> How can I do Y without using X, because I don't want to use X.
> 
> That's the situation you are in here. Catching End_Error is a
> clean solution to your problem and is the recommended approach.
> It is also often the more efficient approach compared to an
> explicit end of file test in the loop.

I agree that catching End_Error is the correct solution, but in Kevin's 
defense, many (Ada) programmers are taught that exceptions are only for 
error processing and not control flow, and giving the exception a name 
like "End_Error" rather than, say, "End_Of_Stream" doesn't help matters
any. 

-- Brian