comp.lang.ada
 help / color / mirror / Atom feed
From: Robert Dewar <robert_dewar@my-deja.com>
Subject: Re: Help Me Please :)
Date: 2000/03/29
Date: 2000-03-29T00:00:00+00:00	[thread overview]
Message-ID: <8brs96$ikp$1@nnrp1.deja.com> (raw)
In-Reply-To: 8brm79$jm3$1@slb6.atl.mindspring.net

In article <8brm79$jm3$1@slb6.atl.mindspring.net>,
  Richard D Riehle <laoXhai@ix.netcom.com> wrote:
> I agree it is useful to track such things.  That is why I like
> the addition of Exception_Occurrence to the language in
> Ada.Exceptions.
>
>       when Some_Nasty_Error : Constraint_Error =>
>         Error_Manager.Log(Ada.Exceptions.
>           Exception_Information(Some_Nasty_Error));
>
> This is where Dr. Dewar and I differ.  I see this feature as
> important for applications such as command and control
> systems.  He sees it, as of our last discussion of the
> subject, as less important than I.

Well I am not quite sure what the disagreement is, but let
me make a couple of comments on the above code.

It is highly implementation dependent, on some implementations
it may give a useful symbolic traceback, on another, no output
at all, and on a third, may generate a complete core dump. The
output is "implementation defined", which means you know
absolutely nothing about what the above code does from a
portable point of view.

On a given compiler it may do something useful to you, but you
have to examine any such logging code wrt the implementation
you are using, and adjust the code accordingly. But in practice
most Ada 83 implementations provided facilities like this in
any case (actually many Ada 83 implementations provided much
more extensive capabilities, and the Ada 95 facilities are not
sufficient, we have had to add quite a bit to GNAT here, see
for example, GNAT.Exceptions.

Also, you hope that compilers have extended capabilities like
dumping the results of an exception EVEN if there are dependent
tasks that prevent propagation. Or dump exceptions that
otherwise terminate tasks silently.



Sent via Deja.com http://www.deja.com/
Before you buy.




  reply	other threads:[~2000-03-29  0:00 UTC|newest]

Thread overview: 54+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-02-29  0:00 Help Me Please :) Will Mann
2000-03-01  0:00 ` Robert Dewar
2000-03-03  0:00   ` Florian Weimer
2000-03-03  0:00     ` tmoran
2000-03-04  0:00       ` Richard D Riehle
2000-03-05  0:00         ` Steve Arnold
2000-03-17  0:00         ` Robert A Duff
2000-03-18  0:00           ` Richard D Riehle
2000-03-18  0:00           ` James S. Rogers
2000-03-19  0:00             ` Robert A Duff
2000-03-20  0:00               ` Brian Rogoff
2000-03-20  0:00                 ` Tucker Taft
2000-03-20  0:00           ` Florian Weimer
2000-03-22  0:00           ` Mats Weber
2000-03-27  0:00             ` Robert A Duff
2000-03-27  0:00               ` Hyman Rosen
2000-03-28  0:00               ` Robert Dewar
2000-03-30  0:00                 ` Mats Weber
2000-04-06  0:00                   ` Exceptions (was: " Wes Groleau
2000-04-07  0:00                     ` Mats Weber
2000-03-28  0:00               ` reason67
2000-03-28  0:00                 ` Robert Dewar
2000-03-29  0:00                   ` Simon Wright
2000-03-29  0:00                   ` reason67
2000-04-06  0:00                   ` Simon Pilgrim
2000-04-07  0:00                     ` Robert Dewar
2000-04-10  0:00                       ` r_c_chapman
2000-03-29  0:00               ` Richard D Riehle
2000-03-29  0:00                 ` Robert Dewar [this message]
2000-03-31  0:00                   ` Richard D Riehle
2000-03-31  0:00                     ` Jean-Pierre Rosen
2000-03-31  0:00                       ` Pascal Obry
2000-03-30  0:00                 ` Mats Weber
2000-03-31  0:00                   ` Richard D Riehle
2000-04-06  0:00                 ` Wes Groleau
2000-03-30  0:00               ` Mats Weber
2000-03-30  0:00               ` Tucker Taft
     [not found]     ` <2000Mar3.183321.69279@ludens>
2000-03-03  0:00       ` Larry Kilgallen
2000-03-04  0:00       ` Robert Dewar
     [not found] <df481109.0106140310.5d923746@posting.google.com>
     [not found] ` <9gb1uu$87u7o$1@ID-52877.news.dfncis.de>
2001-06-19  2:59   ` help me please! Ken Garlington
2001-06-16 10:20     ` C.D.Damron
2001-06-20  6:06     ` John Keeney
  -- strict thread matches above, loose matches on Subject: below --
2000-02-29  0:00 Help Me Please :) Will Mann
2000-02-29  0:00 ` Stanley R. Allen
2000-02-29  0:00   ` Al Johnston
2000-03-01  0:00     ` Robert Dewar
2000-03-01  0:00     ` Stanley R. Allen
2000-03-01  0:00     ` Robert Dewar
2000-03-01  0:00       ` Al Johnston
2000-03-01  0:00     ` tmoran
2000-03-01  0:00       ` Al Johnston
2000-03-02  0:00       ` Aidan Skinner
2000-03-01  0:00 ` tmoran
2000-03-01  0:00 ` James Bean
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox