From: dewarr@my-dejanews.com
Subject: Re: Future Ada language revisions?
Date: 1998/10/05
Date: 1998-10-05T00:00:00+00:00 [thread overview]
Message-ID: <6vbi0h$6m8$1@nnrp1.dejanews.com> (raw)
In-Reply-To: KxPqMDAonPG2EwCX@dowie-cs.demon.co.uk
In article <KxPqMDAonPG2EwCX@dowie-cs.demon.co.uk>,
Martin Dowie <martin@dowie-cs.demon.co.uk> wrote:
> my suggestion concerns subprogram specs. as defined in Ada83 (i'm still
> reading up on Ada95, but i haven't seen anything to suggest this
> extension has been made) the contract made between the provider and user
> is clearly defined when things are going well, but when exceptions are
> raised, its up to the mercy of the provider to add appropriate
> documentation (be it user manual, code comment, whatever) to allow the
> user to see what to expect.
>
> Would it be feasible to extend the specification for subprograms to
> include a list of exceptions that can also be 'returned' from a
> subprogram? here's an example using of what i'm driving at (hopefully
> it's self explanatory) -
This is of course a very old idea, one that has been introduced in some
languages, and was of course discussed in detail during the Ada 83 and
Ada 95 designs. Again, it is clear what the arguments are on both sides
of this issue, and I don't see anything new coming up. There was some
sentiment for revisiting this during the Ada 95 design, but not much.
I don't know how many of the language study notes for Ada 83 still exist.
Many of these issues are probably discussed there!
-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own
next prev parent reply other threads:[~1998-10-05 0:00 UTC|newest]
Thread overview: 49+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-09-27 0:00 Future Ada language revisions? bpr5549
1998-09-27 0:00 ` Larry Kilgallen
1998-09-27 0:00 ` Brian Rogoff
1998-09-28 0:00 ` dewarr
1998-09-28 0:00 ` Brian Rogoff
1998-09-29 0:00 ` Michael F Brenner
1998-10-02 0:00 ` Fergus Henderson
1998-09-29 0:00 ` Larry Kilgallen
1998-09-28 0:00 ` Michael F Brenner
1998-09-28 0:00 ` dewarr
1998-09-28 0:00 ` Arthur Evans Jr
1998-09-28 0:00 ` dewarr
1998-09-28 0:00 ` dewar
1998-10-05 0:00 ` Alfred Hilscher
1998-10-05 0:00 ` Brian Rogoff
1998-10-05 0:00 ` dewarr
1998-10-05 0:00 ` dewarr
1998-10-06 0:00 ` Alfred Hilscher
1998-10-05 0:00 ` Tucker Taft
1998-10-02 0:00 ` Robert I. Eachus
1998-10-03 0:00 ` Brian Rogoff
1998-10-05 0:00 ` dewarr
1998-10-04 0:00 ` Brian Rogoff
1998-10-05 0:00 ` Martin Dowie
1998-10-05 0:00 ` Niklas Holsti
1998-10-05 0:00 ` Martin Dowie
1998-10-05 0:00 ` dewarr [this message]
1998-10-06 0:00 ` r_barton1
1998-10-06 0:00 ` dennison
1998-10-06 0:00 ` dewarr
1998-10-06 0:00 ` Martin Dowie
1998-10-06 0:00 ` Martin Dowie
1998-10-06 0:00 ` dennison
1998-10-06 0:00 ` Matthew Heaney
1998-10-06 0:00 ` Robert I. Eachus
1998-10-06 0:00 ` Brian Rogoff
1998-10-07 0:00 ` dewarr
[not found] ` <tgmF02yDo.A84@netcom.com>
1998-10-06 0:00 ` Matthew Heaney
1998-10-08 0:00 ` dennison
1998-10-08 0:00 ` Brian Rogoff
1998-10-09 0:00 ` dennison
1998-10-08 0:00 ` Pat Rogers
1998-10-16 0:00 ` Robert A Duff
-- strict thread matches above, loose matches on Subject: below --
1998-10-21 0:00 Van Snyder
1998-10-22 0:00 ` Robert A Duff
1998-10-21 0:00 ` Brian Rogoff
1998-10-23 0:00 ` Robert I. Eachus
1998-10-29 0:00 ` Robert A Duff
1998-10-30 0:00 ` Brian Rogoff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox