Re: Parameter return when exceptions occur

["Martin Dowie" <martin.dowie@baesystems.com>]

Christoph Karl Walter Grein wrote:
>>> Question: when the End_Error exception occurs, is anything known
>>> about the value of the parameters to Get_Line?  Does the procedure
>>> still return meaningful values?
>>>
>>> I suspect it is compiler dependent, since I didn't manage to find
>>> any explanation in the LRM.
>>
>> If a subprogram raises an exception you can assume /nothing/ about
>> the contents of the returning values.
>
> In fact, there even isn't a returned value since you "return" to a
> different place: the exception handler (if any).

The parameters used in the call might still be in scope though - but you
can't assume anything about their contents.

Cheers

-- Martin