Re: Forcing Exception Handling

[Shark8 <onewingedshark@gmail.com>]

On Feb 28, 1:38 pm, Georg Bauhaus <rm-host.bauh...@maps.futureapps.de>
wrote:
> On 2/28/11 6:27 PM, iloAda wrote:
>
> > Hello everybody,
>
> > I was wondering if there is a way in Ada to force exception handling.
> > For instance, if there is a call to a function that may raise an
> > exception, force the caller to handle that exception.
> > I was wondering if there is a compile time pragma that will isntruct
> > the compiler to force the handling of exceptions!!
>
> IIRC, the new aspect specifications of Ada 2012 can be
> used to specify that some exception might be raised.
> Not sure, though.
>
> (Given that the feature is controversial in Java,
> not everyone might want them for this...)

I'm honestly not sure this would be a good idea...
In fact, given that Ada doesn't have an "exception hierarchy" like
Delphi does it may be a horrendous idea: There is no way to catch all
exceptions because there is no way to catch a  all exceptions of a
certain type (i.e. Storage_Error'Class) which is caused by the lack of
some root-type "Exception_Root."