comp.lang.ada
 help / color / mirror / Atom feed
From: Matthew Heaney <matthewjheaney@earthlink.net>
Subject: Re: Parameter return when exceptions occur
Date: Sun, 31 Oct 2004 14:47:40 GMT
Date: 2004-10-31T14:47:40+00:00	[thread overview]
Message-ID: <u654rj65p.fsf@earthlink.net> (raw)
In-Reply-To: 4181fbd4$1_1@baen1673807.greenlnk.net

"Martin Dowie" <martin.dowie@baesystems.com> writes:

> If a subprogram raises an exception you can assume /nothing/ about the
> contents of the returning values.

This is only true if this is a pass-by-copy type (scalar, etc).  If the
type is pass-by-reference (tagged, etc), then yes, you can depend on the
values "returned" by the subprogram, even when there's an exception.
(In fact, the AI-302 containers depend on this behavior.)



  reply	other threads:[~2004-10-31 14:47 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2004-10-29  3:02 Parameter return when exceptions occur Steve
2004-10-29  8:20 ` Martin Dowie
2004-10-31 14:47   ` Matthew Heaney [this message]
2004-11-01  1:19     ` Steve
2004-11-01  4:11       ` Jeffrey Carter
  -- strict thread matches above, loose matches on Subject: below --
2004-10-29  8:41 Christoph Karl Walter Grein
2004-10-29  8:59 ` Martin Dowie
replies disabled

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