From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!attcan!uunet!decwrl!ads.com!bhanafee
From: bhanafee@ADS.COM (Brian Hanafee)
Newsgroups: comp.lang.ada
Subject: Re: semantics of exception when exiting a procedure
Keywords: exception out-parameter
Message-ID: <9Y%%R*-@ads.com>
Date: 15 Aug 90 17:01:42 GMT
References: <1616@kuling.UUCP>
Sender: usenet@ads.com (USENET News)
Organization: Advanced Decision Systems, Mt. View, CA (415) 960-7300
List-Id: <comp.lang.ada>

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