From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Forcing Exception Handling
Date: Tue, 1 Mar 2011 10:51:14 +0100
Date: 2011-03-01T10:51:14+01:00 [thread overview]
Message-ID: <1l5emphfkafmg$.13m9eqgey4nyu.dlg@40tude.net> (raw)
In-Reply-To: 91988389-b17a-42cb-8f5b-9b1205604b55@y3g2000vbh.googlegroups.com
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. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2011-03-01 9:51 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-02-28 17:27 Forcing Exception Handling iloAda
2011-02-28 17:32 ` Simon Clubley
2011-02-28 18:33 ` onox
2011-02-28 19:10 ` Simon Clubley
2011-02-28 18:34 ` Vinzent Hoefler
2011-02-28 20:20 ` Florian Weimer
2011-02-28 20:35 ` Ludovic Brenta
2011-03-01 3:54 ` Randy Brukardt
2011-03-01 8:34 ` Dmitry A. Kazakov
2011-03-02 0:00 ` Randy Brukardt
2011-03-02 8:28 ` Dmitry A. Kazakov
2011-02-28 20:38 ` Georg Bauhaus
2011-03-01 0:19 ` Shark8
2011-03-01 8:56 ` Dmitry A. Kazakov
2011-03-01 9:34 ` iloAda
2011-03-01 9:47 ` Vinzent Hoefler
2011-03-01 9:51 ` Dmitry A. Kazakov [this message]
2011-03-01 10:07 ` iloAda
2011-03-01 13:27 ` Mark Lorenzen
2011-03-01 16:11 ` J-P. Rosen
2011-03-02 0:11 ` Randy Brukardt
2011-03-01 15:23 ` Shark8
2011-03-01 15:44 ` Dmitry A. Kazakov
2011-03-02 0:02 ` Randy Brukardt
2011-03-01 2:08 ` Hoàng Đình Long
2011-03-02 13:39 ` ytomino
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox