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

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0099-1.txt

--- ai12s/ai12-0099-1.txt	2014/05/12 23:54:38	1.1
+++ ai12s/ai12-0099-1.txt	2014/07/24 01:25:38	1.2
@@ -1,7 +1,9 @@
-!standard 3.2.4(4/4)                                  14-05-12  AI05-0099-1/01
+!standard 3.2.4(4/4)                                  14-07-23  AI05-0099-1/02
 !standard 3.2.4(12/3)
 !standard 3.2.4(20/3)
 !class binding interpretation 14-05-12
+!status Corrigendum 2015 14-07-23
+!status ARG Approved 7-0-0  14-06-28
 !status work item 14-05-12
 !status received 14-02-21
 !priority Low
@@ -46,7 +48,7 @@
 (no underscore) as used in RM 3.2.4(20/3). In particular, it does not
 appear to include the "not" operator. (A English term that is not otherwise
 defined is usually taken to mean the same as the associated syntax term, and
-"logical_operation" does not include "not". The index entry for logical
+"logical_operator" does not include "not". The index entry for logical
 operator has "See also not operator" but that seems hardly a normative
 definition!
 
@@ -63,19 +65,15 @@
 Modify 3.2.4(4/4) [as modified by AI12-0071-1]:
 
   * For a (first) subtype defined by a {type declaration}[type_declaration],
-    the predicates of the parent subtype and the progenitor subtypes apply.
+    {any}[the] predicates of [the] parent {or}[subtype and the] progenitor
+    subtypes apply.
 
-[Editor's note: Both this rule and the next one are a bit iffy talking about
-"the parent subtype" and "the progenitor subtypes" as not all type declarations
-have these. AI12-0071-1 weasel-worded 3.2.4(29.5/4) for this issue, but didn't
-touch either of these other rules. Should we fix that as well??]
-
 Modify 3.2.4(12/3):
 
   * If a subtype is defined by a [derived] type declaration that does not
     include a predicate specification, then predicate checks are enabled
-    for the subtype if and only if predicate checks are enabled for at least
-    one of the parent subtype and the progenitor subtypes;
+    for the subtype if and only if {any} predicate checks are enabled for
+    [at least one of the] parent {or}[subtype and the] progenitor subtypes;
 
 Modify 3.2.4(20/3):
 
@@ -111,8 +109,8 @@
 @xbullet<For a (first) subtype defined by a @fa<type_declaration>, the
 predicates of the parent subtype and the progenitor subtypes apply.>
 @dby
-@xbullet<For a (first) subtype defined by a type declaration, the
-predicates of the parent subtype and the progenitor subtypes apply.>
+@xbullet<For a (first) subtype defined by a type declaration, any
+predicates of parent or progenitor subtypes apply.>
 
 !corrigendum 3.2.4(12/3)
 
@@ -122,10 +120,10 @@
 subtype if and only if predicate checks are enabled for at least one of the
 parent subtype and the progenitor subtypes;>
 @dby
-@xbullet<If a subtype is defined by a derived type declaration that does not
+@xbullet<If a subtype is defined by a type declaration that does not
 include a predicate specification, then predicate checks are enabled for the
-subtype if and only if predicate checks are enabled for at least one of the
-parent subtype and the progenitor subtypes;>
+subtype if and only if any predicate checks are enabled for parent or progenitor
+subtypes;>
 
 !corrigendum 3.2.4(20/3)
 

Questions? Ask the ACAA Technical Agent