CVS difference for 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