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

Differences between 1.11 and version 1.12
Log of other versions for file ai12s/ai12-0156-1.txt

--- ai12s/ai12-0156-1.txt	2016/03/18 03:38:49	1.11
+++ ai12s/ai12-0156-1.txt	2016/04/12 04:48:06	1.12
@@ -1,4 +1,4 @@
-!standard 5.5.2(2/3)                                  15-11-18  AI12-0156-1/03
+!standard 5.5.2(2/3)                                  16-04-11  AI12-0156-1/04
 !standard 5.5.2(5/4)
 !standard 5.5.2(7/3)
 !standard 3.10.2(11.1/2)
@@ -69,10 +69,15 @@
   | defining_identifier [: loop_parameter_subtype_definition] of [reverse] iterable_name
  loop_parameter_subtype_definition ::= subtype_indication | access_definition
 
-Add to the start of 5.5.2(5/4):
+Modify 5.5.2(5/4):
 
-The subtype defined by the subtype_indication, if any, of a generalized iterator
-component iterator shall statically match the iteration cursor subtype.
+{The subtype defined by the loop_parameter_subtype_indication, if any, of a generalized
+iterator component iterator shall statically match the iteration cursor subtype. }
+The subtype defined by the {loop_parameter_}subtype_indication, if any, of an array
+component iterator shall statically match the component subtype of the type of
+the iterable_name. The subtype defined by the {loop_parameter_}subtype_indication,
+if any, of a container element iterator shall statically match the default
+element subtype for the type of the iterable_name.
 
 Modify 5.5.2(7/3) by swapping the second and third sentences and making the other
 changes indicated:
@@ -111,7 +116,7 @@
 And add after 3.10.2(11.1/2) as another bulleted list item
 
    The accessibility level of an anonymous access type defined
-   by an access_definition of a loop_parameter_subtype_definition
+   by an access_definition of a loop_parameter_subtype_indication
    is that of the loop parameter.
 
 !discussion
@@ -158,6 +163,74 @@
 A charter member of the department of redundancy department. In addition,
 it would have required additional wording and syntax changes in subclause
 5.5. So this does not seem worthwhile.
+
+!corrigendum 3.10.2(11.1/2)
+
+@dinsa
+@xbullet<The accessibility level of the anonymous access type defined by an
+@fa<access_definition> of an @fa<object_renaming_declaration> is the same
+as that of the renamed view.>
+@dinst
+@xbullet<The accessibility level of the anonymous access type defined
+by an @fa<access_definition> of a @fa<loop_parameter_subtype_indication>
+is that of the loop parameter.>
+
+!corrigendum 5.5.2(2/3)
+
+@drepl
+@xcode<@fa<iterator_specification>@fa< ::= >
+     @fa<defining_identifier> @ft<@b<in>> [@ft<@b<reverse>>] @ft<@i<iterator_>>@fa<name>
+   | @fa<defining_identifier [: subtype_indication]> @ft<@b<of>> [@ft<@b<reverse>>] @ft<@i<iterable_>>@fa<name>>
+@dby
+@xcode<@fa<iterator_specification>@fa< ::= >
+     @fa<defining_identifier [: loop_parameter_subtype_indication]> @ft<@b<in>> [@ft<@b<reverse>>] @ft<@i<iterator_>>@fa<name>
+   | @fa<defining_identifier [: loop_parameter_subtype_indication]> @ft<@b<of>> [@ft<@b<reverse>>] @ft<@i<iterable_>>@fa<name>
+@fa<loop_parameter_subtype_indication ::= subtype_indication | access_definition>>
+
+!corrigendum 5.5.2(5/4)
+
+@drepl
+The subtype defined by the @fa<subtype_indication>, if any, of an array
+component iterator shall statically match the component subtype of the type of
+the @i<iterable_>@fa<name>. The subtype defined by the @fa<subtype_indication>,
+if any, of a container element iterator shall statically match the default
+element subtype for the type of the @i<iterable_>@fa<name>.
+@dby
+The subtype defined by the @fa<loop_parameter_subtype_indication>, if any, of a
+generalized iterator component iterator shall statically match the iteration cursor subtype.
+The subtype defined by the @fa<loop_parameter_subtype_indication>, if any, of an array
+component iterator shall statically match the component subtype of the type of
+the @i<iterable_>@fa<name>. The subtype defined by the @fa<loop_parameter_subtype_indication>,
+if any, of a container element iterator shall statically match the default
+element subtype for the type of the @i<iterable_>@fa<name>.
+
+!corrigendum 5.5.2(7/3)
+
+@drepl
+An @fa<iterator_specification> declares a @i<loop parameter>. In a
+generalized iterator, the nominal subtype of the loop parameter is
+the iteration cursor subtype. In an array component iterator or a
+container element iterator, if a @fa<subtype_indication> is present, it
+determines the nominal subtype of the loop parameter. In an array
+component iterator, if a @fa<subtype_indication> is not present, the
+nominal subtype of the loop parameter is the component subtype of the
+type of the @i<iterable_>@fa<name>. In a container element iterator, if a
+@fa<subtype_indication> is not present, the nominal subtype of the loop
+parameter is the default element subtype for the type of the
+@i<iterable_>@fa<name>.
+@dby
+An @fa<iterator_specification> declares a @i<loop parameter>. In a
+generalized iterator, an array component iterator, or a container element
+iterator, if a @fa<loop_parameter_subtype_indication> is present, it determines
+the nominal subtype of the loop parameter. In a generalized iterator, if a
+@fa<loop_parameter_subtype_indication> is not present, the nominal subtype of
+the loop parameter is the iteration cursor subtype. In an array component
+iterator, if a @fa<loop_parameter_subtype_indication> is not present, 
+the nominal subtype of the loop parameter is the component subtype of the
+type of the @i<iterable_>@fa<name>. In a container element iterator, if a
+@fa<loop_parameter_subtype_indication> is not present, the nominal subtype of
+the loop parameter is the default element subtype for the type of the
+@i<iterable_>@fa<name>.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent