Re: Get_Line problem (GNAT bug?)

[Jean-Pierre Rosen <rosen@adalog.fr>]

Maciej Sobczak a �crit :
>> 3. As Adam has suggested, End_Error exception is the right design;
> 
> I don't find it to be "right". For me, exception is something that is 
> unexpected. An error, usually. 
I beg to differ. Otherwise, they would be called "errors" or "abnormal".
An exception corresponds to an "exceptional" event, i.e. something that 
prevents usual processing, and forces you to an exceptional handling. If 
you consider that normal processing (normally the body of a loop) is the 
rule, it is an exception to the rule. And EOF certainly matches this 
definition (as is an error, of course, but it is not the only case).

Exceptions are a useful tool in the programmers tool box. The narrow 
view of exceptions as just a way to handle errors is a mistake that 
prevents elegant solutions to some problems, in my view, and I've been 
constantly fighting against that.
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr