From: bhanafee@ADS.COM (Brian Hanafee)
Subject: Re: semantics of exception when exiting a procedure
Date: 15 Aug 90 17:01:42 GMT [thread overview]
Message-ID: <9Y%%R*-@ads.com> (raw)
In-Reply-To: 1616@kuling.UUCP
In article <1616@kuling.UUCP> daniel@mizar.docs.uu.se (Daniel Wengelin) writes:
>Question:
>What are the semantics when a procedure with out parameters is
>exited by an exception. Can the out parameters be used, if they
>have been assigned prior to the exception ?
[example deleted]
>I would very much appreciate a LRM ref on this one !
>
>/dw/
Try LRM 6.2/6, "...the effects are achieved by copy...after *normal*
completion of the subprogram body, if the mode is in out or out, the
value of the formal parameter is copied back into the associated
actual parameter."
This seems to say that the out parameters should *not* be used if
the procedure exited by exception. 6.2/12 and 6.4.1/7 give some
(vague) hints about why it might be specified this way.
Brian Hanafee
Advanced Decision Systems
next prev parent reply other threads:[~1990-08-15 17:01 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
1990-08-15 9:29 semantics of exception when exiting a procedure Daniel Wengelin
1990-08-15 17:01 ` Brian Hanafee [this message]
1990-08-15 17:08 ` Jerry Callen
1990-08-15 17:16 ` Fred Stluka
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox