CVS difference for ai05s/ai05-0043-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai05s/ai05-0043-1.txt

--- ai05s/ai05-0043-1.txt	2007/04/05 01:49:14	1.2
+++ ai05s/ai05-0043-1.txt	2007/07/26 02:58:06	1.3
@@ -1,12 +1,14 @@
-!standard 11.4.1(10.1/2)                                            07-03-27    AI05-0043-1/00
+!standard 11.4.1(10.1/2)                                     07-06-15    AI05-0043-1/01
 !standard 11(2)
 !class binding interpretation 07-03-27
+!status ARG Approved  8-0-2  07-06-03
 !status work item 07-03-27
 !status received 07-01-19
 !priority Low
 !difficulty Easy
 !qualifier Omission
 !subject The Exception_Message for failed language-defined checks.
+
 !summary
 
 The introduction to Section 11 is incorrect.
@@ -54,9 +56,45 @@
 thing for their customers, which is likely to be to preserve the most information. And this
 feature is intended as a debugging aid, not as an information source, so strong rules are
 not required.
+
+!corrigendum 11(2)
+
+@drepl
+An exception is raised initially either by a
+@fa<raise_statement> or by the failure of a
+language-defined check.
+@dby
+An exception is raised initially either by a
+@fa<raise_statement>, by a call to Raise_Exception, or by the failure of a
+language-defined check.
 
---!corrigendum 10.1.2(20/2)
+!corrigendum 11.4.1(10.1/2)
 
+@drepl
+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. In all cases, Exception_Message returns a string with
+lower bound 1.
+@dby
+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. For an occurrence originally raised
+for some other reason, the message is an unspecified
+string. In all cases, Exception_Message returns a string with lower bound 1.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent