CVS difference for ai12s/ai12-0022-1.txt

Differences between 1.6 and version 1.7
Log of other versions for file ai12s/ai12-0022-1.txt

--- ai12s/ai12-0022-1.txt	2012/12/05 04:18:26	1.6
+++ ai12s/ai12-0022-1.txt	2012/12/18 06:51:00	1.7
@@ -1,12 +1,14 @@
-!standard 4.4(3/3)                                12-06-28    AI12-0022-1/03
+!standard 4.4(3/3)                                12-12-17    AI12-0022-1/04
 !standard 11.2(6)
 !standard 11.3(2/2)
 !standard 11.3(3)
 !standard 11.3(3.1/2)
 !standard 11.3(4/2)
 !standard 11.4.1(10.1/3)
-!class Amendment 12-03-16
-!status ARG Approved 9-0-0  12-06-1
+!class binding interpretation 12-12-06
+!status Amendment 202x 12-12-17
+!status ARG Approved 9-0-1  12-12-06 (change class)
+!status ARG Approved 9-0-0  12-06-15
 !status work item 12-02-24
 !status received 12-02-24
 !priority High
@@ -65,9 +67,9 @@
 
 ... For the execution of a raise_statement with an exception_name,
 the named exception is raised. {Similarly, for the evaluation of a raise_expression,
-the named exception is raised.} [{In both of these cases, if}[If] a string_expression
-is present, the expression is evaluated and its value is associated with the exception
-occurrence.] ...
+the named exception is raised.} [Redundant: {In both of these cases, if}[If] a
+string_expression is present, the expression is evaluated and its value is associated
+with the exception occurrence.] ...
 
 Modify 11.4.1(10.1/3):
 
@@ -224,6 +226,109 @@
 may not be allowed.
 
 Thus the selected alternative seems clearly to be the best option.
+
+!corrigendum 4.4(3/3)
+
+@drepl
+@xcode<@fa<relation ::=
+         simple_expression [relational_operator simple_expression]
+       | simple_expression [>@ft<@b<not>>@fa<] >@ft<@b<in>>@fa< membership_choice_list>>
+@dby
+@xcode<@fa<relation ::=
+         simple_expression [relational_operator simple_expression]
+       | simple_expression [>@ft<@b<not>>@fa<] >@ft<@b<in>>@fa< membership_choice_list
+       | raise_expression>>
+
+!corrigendum 11.2(6)
+
+@dinsb
+A choice with an @i<exception_>@fa<name> @i<covers> the named exception. A choice with
+@b<others> covers all exceptions not named by previous choices of the same
+@fa<handled_sequence_of_statements>. Two choices in different @fa<exception_handler>s of
+the same @fa<handled_sequence_of_statement>s shall not cover the same exception. 
+@dinst
+An @i<exception_>@fa<name> of an @fa<exception_choice> shall denote an exception.
+
+!corrigendum 11.3(2/2)
+
+@dinsa
+@xcode<@fa<raise_statement ::= >@ft<@b<raise>@fa<; |>
+       @ft<@b<raise> @i<exception_>>@fa<name [>>@ft<@b<with> @i<string_>>@fa<expression];>>
+@dinst
+@xcode<@fa<raise_expression ::= @ft<@b<raise> @i<exception_>>@fa<name [>>@ft<@b<with> @i<string_>>@fa<expression]>>
+
+!corrigendum 11.3(3)
+
+@drepl
+The @fa<name>, if any, in a @fa<raise_statement> shall denote an exception. A 
+@fa<raise_statement> with no @i<exception_>@fa<name> (that is, a @i<re-raise statement>)
+shall be within a handler, but not within a body enclosed by that handler. 
+@dby
+An @i<exception_>@fa<name> of a @fa<raise_statement> or @fa<raise_expression> shall denote
+an exception. A @fa<raise_statement> with no @i<exception_>@fa<name> (that is, a @i<re-raise statement>)
+shall be within a handler, but not within a body enclosed by that handler.
+
+!corrigendum 11.3(3.1/2)
+
+@drepl
+The @fa<expression>, if any, in a @fa<raise_statement>, is expected
+to be of type String.
+@dby
+A @i<string_>@fa<expression> of a @fa<raise_statement> or @fa<raise_expression> is expected
+to be of type String.
+
+A @fa<raise_expression> is expected to be of any type.
+
+!corrigendum 11.3(4/2)
+
+@drepl
+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, the @fa<expression> is evaluated and its
+value is associated with the exception occurrence. For the execution of a
+re-raise statement, the exception occurrence that caused transfer of control to
+the innermost enclosing handler is raised again.
+@dby
+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. Similarly, for the evaluation
+of a @fa<raise_expression>, the named exception is raised. In both of these cases,
+if a @i<string_>@fa<expression> is present, the @fa<expression> is evaluated and its
+value is associated with the exception occurrence. 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.1/3)
+
+@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. For an occurrence originally raised
+in some other manner (including by the failure of a language-defined check),
+the message is an unspecified string. 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> or @fa<raise_expression>
+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> or @fa<raise_expression> 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
+in some other manner (including by the failure of a language-defined check),
+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