comp.lang.ada
 help / color / mirror / Atom feed
From: brbarkstrom@gmail.com
Subject: Re: How to get nice with GNAT?
Date: Tue, 25 Nov 2014 19:29:50 -0800 (PST)
Date: 2014-11-25T19:29:50-08:00	[thread overview]
Message-ID: <32adf3de-3521-4aca-a9e0-ad0b9c070734@googlegroups.com> (raw)
In-Reply-To: <21ba7adobg61amm6l57jiv0uaonkbv0oqr@4ax.com>

On Tuesday, November 25, 2014 8:27:19 PM UTC-5, Dennis Lee Bieber wrote:
> On Tue, 25 Nov 2014 13:33:01 -0500, Dennis Lee Bieber
> declaimed the following:
> 
> 
> >
> >Does leave OUT only parameters hanging, unless one just takes the view that
> >IN OUT and OUT both rely upon copying from procedure local memory to return
> >parameter memory at the same point (and an IN OUT copies from the parameter
> >memory to local memory upon entry).
> >
> 
> 	ADDENDUM: Original Ada OUT parameters were write-only from the
> viewpoint of the procedure too... Ada 95 allowed them to be used as
> read-write within the procedure.
> -- 
> 	Wulfraed                 Dennis Lee Bieber         AF6VN

The last several posts look at exception handling from several different
philosophical points of view.  It might be interesting to try to see
what these different points of view suggest with respect to
1) detection of exceptions during the initial debugging phases of development,
2) "routine" handling of exceptions during operations, for example which
   exceptions should be logged, which should we allow users to correct (bad
   input), and which are serious enough to make us want to shut down the whole
   system,
3) leaving clues about assumptions on exception handling that might reduce
   maintenance costs when a system needs revision in the future.

It sounds like there's enough divergence of opinion that collecting these
differences and creating some suggestions of practical use to programmers 
might have some value - Ada Gems or a paper at HILT or Ada-Europe might be 
interesting.  Maybe we could start by collecting material for a history
of exception handling, see if we could get some practical and quotable
quantitative experience (like how many debugging person-hours could appropriate
exception handling save), and suggestions about how to feed this experience
into Ada revisions.

Bruce B.


  reply	other threads:[~2014-11-26  3:29 UTC|newest]

Thread overview: 59+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-11-21 11:41 How to get nice with GNAT? Natasha Kerensikova
2014-11-21 12:42 ` Björn Lundin
2014-11-21 22:55 ` Randy Brukardt
2014-11-21 23:13   ` Björn Lundin
2014-11-22  9:45   ` How to get nice traceback " Natasha Kerensikova
2014-11-22  9:57     ` Dmitry A. Kazakov
2014-11-24 22:35     ` Randy Brukardt
2014-11-22 10:11 ` How to get nice " gautier_niouzes
2014-11-22 10:40   ` Natasha Kerensikova
2014-11-22 22:44 ` brbarkstrom
2014-11-22 23:24   ` Jeffrey Carter
2014-11-23 18:06   ` Björn Lundin
2014-11-23 16:13 ` brbarkstrom
2014-11-23 16:18   ` J-P. Rosen
2014-11-23 17:02   ` Jeffrey Carter
2014-11-23 17:41 ` brbarkstrom
2014-11-23 19:22   ` Simon Wright
2014-11-23 20:49   ` Jeffrey Carter
2014-11-24  3:05     ` brbarkstrom
2014-11-24  6:25       ` Jeffrey Carter
2014-11-24 14:39         ` brbarkstrom
2014-11-24 17:42       ` Dennis Lee Bieber
2014-11-25 13:45         ` brbarkstrom
2014-11-25 15:07           ` ake.ragnar.dahlgren
2014-11-25 15:51             ` brbarkstrom
2014-11-25 16:52             ` Jeffrey Carter
2014-11-25 19:18             ` G.B.
2014-11-25 20:47               ` brbarkstrom
2014-11-25 22:12             ` Randy Brukardt
2014-11-25 23:30               ` Simon Wright
2014-11-26  1:25                 ` G.B.
2014-11-26  7:35                   ` Simon Wright
2014-11-26 11:55                     ` Georg Bauhaus
2014-11-26 13:06                       ` Dmitry A. Kazakov
2014-11-26 13:36                         ` brbarkstrom
2014-11-26 21:27                         ` Randy Brukardt
2014-11-26 22:38                           ` brbarkstrom
2014-11-27  9:01                             ` Dmitry A. Kazakov
2014-11-27 13:53                               ` brbarkstrom
2014-11-27 17:19                                 ` Dmitry A. Kazakov
2014-12-01 22:25                                   ` Randy Brukardt
2014-12-02  8:42                                     ` Dmitry A. Kazakov
2014-12-03 21:41                                       ` Randy Brukardt
2014-12-06 12:02                                         ` Dmitry A. Kazakov
2014-12-08 22:45                                           ` Randy Brukardt
2014-12-09  8:51                                             ` Dmitry A. Kazakov
2014-12-09 23:14                                               ` Brad Moore
2014-12-09 17:59                                                 ` Dmitry A. Kazakov
2014-11-27  8:52                           ` Dmitry A. Kazakov
2014-11-26  6:18                 ` J-P. Rosen
2014-11-26  7:37                   ` Simon Wright
2014-11-26  8:41               ` Dmitry A. Kazakov
2014-11-25 18:33           ` Dennis Lee Bieber
2014-11-26  1:27             ` Dennis Lee Bieber
2014-11-26  3:29               ` brbarkstrom [this message]
2014-11-23 18:55 ` brbarkstrom
2014-11-23 19:30 ` brbarkstrom
2014-11-23 22:38   ` Simon Wright
2014-11-24  2:47     ` brbarkstrom
replies disabled

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