Re: Forcing Exception Handling

[ytomino <aghia05@gmail.com>]

On Mar 1, 2:27 am, iloAda <egzgh...@gmail.com> 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!!
>
> Thanks guys
>
> Elie

I'm thinking exception-pass-by-argument style (?)

procedure Callee (Storage_Error : Exception_Id) is
begin
   ...
exception
   when Standard.Storage_Error => Raise_Exception (Storage_Error);
end Callee;

This function forces a caller to write the exception name explicitly.
A caller may become aware exception-handling,
and it able to classify same exception by local-exception, for
example:

Caller : declare
   Local1, Local2 : exception;
begin
   Callee (Local1'Identity); -- *1
   Callee (Local2'Identity); -- *2
exception
   when Local1 => ...; -- from *1
   when Local2 => ...; -- from *2
end Caller;