Re: How to get nice with GNAT?

[brbarkstrom@gmail.com]

On Tuesday, November 25, 2014 10:07:04 AM UTC-5, ake.ragna... wrote:
> Hello everybody,
> 
> This Ada gem is related to this discussion (and I just point it out since I didn't see it pointed out earlier)
> http://www.adacore.com/adaanswers/gems/gem-150out-and-uninitialized/
> 
> Of course I always listen seriously to Jeff Carter but it's not obvious to me that doing "C in Ada" is bad. If I remember correctly Google employees are recommended to avoid using exceptions when doing C++. The designers of Google Go has gone great lengths to avoid the exception concept as much as possible. In addition SPARK forbids usage of exceptions.
> 
> @Natasha: Sorry, don't have any useful input to you. But thanks for starting this discussion topic, and thanks for all input from everybody participating!
> 
> Best regards,
> Åke Ragnar Dahlgren

Note that the Local procedure in the Gem does not contain an exception 
handler.  If it did, the "out" variable could be set to something sensible.  
The exception would be lowered and not propagated to the calling procedure.
In that situation, the calling program might or might not even be aware
of the exception except for the value of the variable copied out.

The Gem does clarify how an unhandled exception would work.  I appreciate
that clarification.  Thanks.