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

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

--- ai05s/ai05-0237-1.txt	2011/01/31 03:08:29	1.1
+++ ai05s/ai05-0237-1.txt	2011/03/13 02:00:36	1.2
@@ -1,5 +1,7 @@
-!standard 12.5.1(5.1/2)                              11-01-30    AI05-0237-1/01
+!standard 12.5.1(5.1/2)                              11-03-11    AI05-0237-1/02
 !class binding interpretation 11-01-30
+!status Amendment 2012 11-03-11
+!status ARG Approved  7-0-1  10-02-20
 !status work item 11-01-30
 !status received 10-07-14
 !priority Low
@@ -31,10 +33,10 @@
 Modify 12.5.1(5/2):
 
 ...  The reserved word limited or synchronized shall appear only if the ancestor type
-[and any progenitor types] are limited types. The reserved word synchronized shall
+Redundant[and any progenitor types] are limited types. The reserved word synchronized shall
 appear (rather than limited) if the ancestor type or any of the progenitor types are
-synchronized interfaces. {If the reserved word synchronized appears, the ancestor type
-shall be a limited interface.}
+synchronized interfaces. {The ancestor type shall be a limited interface if the reserved
+word synchonized appears.}
 
 !discussion
 
@@ -45,8 +47,34 @@
 we want to rules for generic formal types to mirror the rules for private types.
 So we add wording to make this illegal.
 
---!corrigendum 12.5.1(5/2)
+!corrigendum 12.5.1(5/2)
 
+@drepl
+The @i<ancestor subtype> of a formal derived type is the subtype denoted by the
+@fa<subtype_mark> of the @fa<formal_derived_type_definition>. For a formal
+derived type declaration, the reserved words @b<with private> shall appear if
+and only if the ancestor type is a tagged type; in this case the formal derived
+type is a private extension of the ancestor type and the ancestor shall not be
+a class-wide type. Similarly, an @fa<interface_list> or the optional reserved
+words @b<abstract> or @b<synchronized> shall appear only if the ancestor type
+is a tagged type. The reserved word @b<limited> or @b<synchronized> shall
+appear only if the ancestor type and any progenitor types are limited types.
+The reserved word @b<synchronized> shall appear (rather than @b<limited>) if
+the ancestor type or any of the progenitor types are synchronized interfaces.
+@dby
+The @i<ancestor subtype> of a formal derived type is the subtype denoted by the
+@fa<subtype_mark> of the @fa<formal_derived_type_definition>. For a formal
+derived type declaration, the reserved words @b<with private> shall appear if
+and only if the ancestor type is a tagged type; in this case the formal derived
+type is a private extension of the ancestor type and the ancestor shall not be
+a class-wide type. Similarly, an @fa<interface_list> or the optional reserved
+words @b<abstract> or @b<synchronized> shall appear only if the ancestor type
+is a tagged type. The reserved word @b<limited> or @b<synchronized> shall
+appear only if the ancestor type and any progenitor types are limited types.
+The reserved word @b<synchronized> shall appear (rather than @b<limited>) if
+the ancestor type or any of the progenitor types are synchronized interfaces.
+The ancestor type shall be a limited interface if the reserved
+word @b<synchonized> appears.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent