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.7 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no
	version=3.4.4
Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!zaphod.mps.ohio-state.edu!rpi!uupsi!sunic!bmc.uu.se!kuling!mizar.docs.uu.se!daniel
From: daniel@mizar.docs.uu.se (Daniel Wengelin)
Newsgroups: comp.lang.ada
Subject: semantics of exception when exiting a procedure
Keywords: exception out-parameter
Message-ID: <1616@kuling.UUCP>
Date: 15 Aug 90 09:29:50 GMT
Sender: news@kuling.UUCP
Reply-To: daniel@mizar.docs.uu.se (Daniel Wengelin)
Organization: Dept of Computer Systems, Uppsala University, Sweden
List-Id: <comp.lang.ada>

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>
procedure X(P1,P2,P3:out...)is
..
   P1:=....
   if ... raise E1;....
   P2:=....
   if .... raise E2;....
    P3:=...
end X;
.....
X(P1,P2,P3);
Do_Something_With(P1,P2,P3);
exception
   when E1=>Do_Something_With(P1);
    when E2 => Do_Something_With(P1,P2);
..

It would appear that the above code should work, but it does seem
a bit risky.

I would very much appreciate a LRM ref on this one !

/dw/