CVS difference for ais/ai-00361.txt

Differences between 1.4 and version 1.5
Log of other versions for file ais/ai-00361.txt

--- ais/ai-00361.txt	2004/06/25 01:30:49	1.4
+++ ais/ai-00361.txt	2005/06/16 23:47:34	1.5
@@ -44,17 +44,25 @@
 Replace the second sentence of 11.3(4) by:
 
 For the execution of a raise_statement with an exception_name, the named
-exception is raised. If a string_expression is present, a call of
-Ada.Exceptions.Exception_Message returns that string.
+exception is raised. If a string_expression is present, a subsequent call of
+Ada.Exception.Exception_Message on the occurrence being raised will return that
+string.
+
+
+Replace 11.4.1(10) by:
+
+Raise_Exception raises a new occurrence of the identified exception.
+
+Exception_Message returns the message associated with the given
+Exception_Occurrence. For an occurrence raised by a call to
+Raise_Exception, the message is the Message parameter passed to Raise_Exception.
+For an occurrence raised by a raise_statement with an exception_name and a
+string_expression, the message is the string_expression. For an occurrence
+raised by a raise_statement with an exception_name but without a
+string_expression, the message is a string giving implementation-defined
+information about the exception occurrence.
 
-
-Replace the third sentence of 11.4.1(10) by:
-
-For a raise_statement with an exception_name and a string_expression,
-Exception_Message returns that string. For a raise_statement with an
-exception_name but without a string_expression, Exception_Message returns
-implementation-defined information about the exception occurrence.
-
+Reraise_Occurrence reraises the specified exception occurrence.
 
 !discussion
 
@@ -101,10 +109,11 @@
 To @i<raise an exception> is to raise a new occurrence of that exception, as
 explained in 11.4. For the execution of a @fa<raise_statement> with an
 @i<exception_>@fa<name>, the named exception is raised. If a
-@i<string_>@fa<expression> is present, a call of
-Ada.Exceptions.Exception_Message returns that string. For the execution of a
-re-raise statement, the exception occurrence that caused transfer of control to
-the innermost enclosing handler is raised again.
+@i<string_>@fa<expression> is present, a subsequent call of
+Ada.Exception.Exception_Message on the occurrence being raised will return that
+string. For the execution of a re-raise statement, the exception occurrence
+that caused transfer of control to the innermost enclosing handler is raised
+again.
 
 !corrigendum 11.4.1(10)
 
@@ -115,13 +124,19 @@
 returns implementation-defined information about the exception occurrence.
 Reraise_Occurrence reraises the specified exception occurrence.
 @dby
-Raise_Exception raises a new occurrence of the identified exception. In this
-case, Exception_Message returns the Message parameter of Raise_Exception.
-For a @fa<raise_statement> with an @i<exception_>@fa<name> and a
-@i<string_>@fa<expression>, Exception_Message returns that string. For a
-@fa<raise_statement> with an @i<exception_>@fa<name> but without a
-@i<string_>@fa<expression>, Exception_Message returns
-implementation-defined information about the exception occurrence.
+Raise_Exception raises a new occurrence of the identified exception.
+
+Exception_Message returns the message associated with the given
+Exception_Occurrence. For an occurrence raised by a call to
+Raise_Exception, the message is the Message parameter passed to Raise_Exception.
+For the occurrence raised by a @fa<raise_statement> with an
+@i<exception_>@fa<name> and a @i<string_>@fa<expression>, the message is
+the @i<string_>@fa<expression>. For the occurrence raised by a
+@fa<raise_statement> with
+an @i<exception_>@fa<name> but without a @i<string_>@fa<expression>,
+the message is a string giving implementation-defined information about the
+exception occurrence.
+
 Reraise_Occurrence reraises the specified exception occurrence.
 
 !ACATS test

Questions? Ask the ACAA Technical Agent