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

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

--- ai12s/ai12-0152-1.txt	2015/03/03 22:37:54	1.6
+++ ai12s/ai12-0152-1.txt	2015/03/25 23:58:19	1.7
@@ -1,7 +1,8 @@
-!standard 3.5.9(5)                                  15-03-03  AI05-0152-1/03
+!standard 3.5.9(5)                                  15-03-25  AI05-0152-1/04
 !standard 3.5.9(18)
 !standard 3.5.9(19)
 !standard 11.3(2/2)
+!standard 11.3(3.1/2)
 !standard 11.3(4/3)
 !standard 11.4.1(10.1/3)
 !standard J.3(2)
@@ -211,6 +212,12 @@
     static. We include these in this rule so that Ada text has an unambiguous
     syntax in these cases.
 
+Modify 11.3(3.1/4):
+
+[A string_expression]{The string_expression or 
+string_simple_expression, if any} of a raise_statement or raise_expression,
+is expected to be of type String.
+
 Modify the third sentence of 11.3(4/4):
 
  [In both of these cases, if a string_expression {or string_simple_expression}
@@ -538,6 +545,16 @@
 @xbullet<@fa<decimal_fixed_point_definition>;>
 @xbullet<@fa<default_expression>;>
 @xbullet<@fa<ancestor_part>.>
+
+!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
+The @i<string_>@fa<expression> or @i<string_>@fa<simple_expression>,
+if any, of a @fa<raise_statement> or @fa<raise_expression> is expected
+to be of type String.
 
 !corrigendum 11.3(4/3)
 

Questions? Ask the ACAA Technical Agent