CVS difference for ai12s/cor15con.txt

Differences between 1.7 and version 1.8
Log of other versions for file ai12s/cor15con.txt

--- ai12s/cor15con.txt	2015/01/30 05:23:10	1.7
+++ ai12s/cor15con.txt	2015/02/27 06:37:00	1.8
@@ -309,9 +309,32 @@
 scope of @i<T>.>
 
 
+!corrigendum 11.3(2/2)
+!AI-0022-1
+!AI-0152-1
+
+@dinsa
+@xcode<@fa<raise_statement ::= >@ft<@b<raise>@fa<; |>
+       @ft<@b<raise> @i<exception_>>@fa<name [>>@ft<@b<with> @i<string_>>@fa<expression];>>
+@dinss
+@xcode<@fa<raise_expression ::= @ft<@b<raise> @i<exception_>>@fa<name [>>@ft<@b<with> @i<string_>>@fa<simple_expression]>>
+
+If @fa<raise_expression> appears within the @fa<expression> of one of the following
+contexts, the @fa<raise_expression> shall appear within a pair of parentheses
+within the @fa<expression>:
+
+@xbullet<@fa<object_declaration>;>
+@xbullet<@fa<modular_type_definition>;>
+@xbullet<@fa<floating_point_definition>;>
+@xbullet<@fa<ordinary_fixed_point_definition>;>
+@xbullet<@fa<decimal_fixed_point_definition>;>
+@xbullet<@fa<default_expression>;>
+@xbullet<@fa<ancestor_part>.>
+
 !corrigendum 11.3(4/2)
 !AI-0022-1
 !AI-0062-1
+!AI-0152-1
 
 @drepl
 To @i<raise an exception> is to raise a new occurrence of that exception, as
@@ -326,16 +349,51 @@
 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.
+if a @i<string_>@fa<expression> or @i<string_>@fa<simple_expression> is present,
+the 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.
 
 @xindent<@s9<NOTES@hr
-1  If the evaluation of a @i<string_>@fa<expression> raises an exception, that
+1  If the evaluation of a @i<string_>@fa<expression> or
+@i<string_>@fa<simple_expression> raises an exception, that
 exception is propagated rather than the one denoted by the @i<exception_>@fa<name>
 of the @fa<raise_statement> or @fa<raise_expression>.>>
 
+!corrigendum 11.4.1(10.1/3)
+!AI-0022-1
+!AI-0152-1
+
+@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> or
+@I<string_>@fa<simple_expression>, the message is the @I<string_>@fa<expression>
+or @I<string_>@fa<simple_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> or @I<string_>@fa<simple_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.
+
 !corrigendum 13.11.3(5/3)
 !AI-0003-1
 !AI-0136-1
@@ -352,12 +410,13 @@
 @dby
 The language-defined aspect Default_Storage_Pool may be specified for a
 generic instance; it defines the default pool for access types within an
-instance. The Default_Storage_Pool aspect may be specified as Standard,
-which is an identifier specific to an aspect (see 13.1.1) and
-defines the default pool to be Standard. When the Default_Storage_Pool aspect
-is specified as Standard, then there shall not be a declaration with defining
-identifier Standard that is immediately visible at the point of the aspect,
-other than package Standard itself.
+instance.
+
+The Default_Storage_Pool aspect may be specified as Standard, which is an
+identifier specific to an aspect (see 13.1.1) and defines the default pool to
+be Standard. In this case, then there shall not be a declaration with
+@fa<defining_identifier> Standard that is immediately visible at the point of
+the aspect specification, other than package Standard itself.
 
 Otherwise, the expected type for the Default_Storage_Pool aspect is
 Root_Storage_Pool'Class and the @fa<aspect_definition> shall be a

Questions? Ask the ACAA Technical Agent