Re: Forcing Exception Handling

[iloAda <egzgheib@gmail.com>]

On Mar 1, 10:51 am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
> On Tue, 1 Mar 2011 01:34:02 -0800 (PST), iloAda wrote:
> > Mmmmmm...That's what I was fearing!!
> > Actually the idea behind my question was that I'm working on a real
> > time system, and as u know, we can't afford to a let a real time
> > system crash because of an unhandled exception.
>
> So long it crashes in real time everything is OK! (:-)) You meant rather
> mission-critical system, I guess.
>
> > Since I use some other
> > libraries in my system (that weren't written by myself or anybody else
> > I know) that will raise exceptions, I wanted to be forced to handle
> > them.
>
> You should use some static analysis tool for that. E.g. SPARK.
>
> > exception
> >  When others =>
> >      --  Do something that will allow the system to keep on running
>
> That is of course meaningless, because you don't know WHAT happened in
> order to determine the SOMETHING to be done.
>
> > have u guys done something like that before?
>
> No, because see above. The most close thing is:
>
>   when Error : others =>
>       Trace ("Fatal:" & Ada.Exceptions.Exception_Information (Error));
> +/-  raise;
>
> --
> Regards,
> Dmitry A. Kazakovhttp://www.dmitry-kazakov.de

Ok, thanks a lot guys!!

Elie