CVS difference for ai12s/ai12-0079-3.txt
--- ai12s/ai12-0079-3.txt 2021/01/15 04:26:27 1.9
+++ ai12s/ai12-0079-3.txt 2021/05/30 00:35:09 1.10
@@ -1,4 +1,4 @@
-!standard 6.1.2(0) 21-01-14 AI12-0079-3/07
+!standard 6.1.2(0) 21-05-28 AI12-0079-3/08
!class Amendment 19-10-05
!status Amendment 1-2012 20-03-11
!status ARG Approved 11-0-3 20-03-11
@@ -483,7 +483,7 @@
Legality Rules
For a tagged subtype T, each mode of its Global aspect shall identify a
-subset of the variables identified by the corresponding mode, or by the
+subset of the variables identified by either the corresponding mode, or by the
in out mode, of the Global'Class aspect of the first subtype of any
ancestor of T.
@@ -757,7 +757,7 @@
@s8<@i<Legality Rules>>
For a tagged subtype @i<T>, each mode of its Global aspect shall identify a
-subset of the variables identified by the corresponding mode, or by the
+subset of the variables identified either by the corresponding mode, or by the
@b<in out> mode, of the Global'Class aspect of the first subtype of any
ancestor of @i<T>.
@@ -1560,5 +1560,18 @@
This was applied as an Editorial Review change in AI12-0079-3.
End Editor's Response.]
+
+****************************************************************
+
+From the WG 9 review, issue #69, Tucker Taft
+
+H.7(9/5): It seems that adding the word "either" might clarify this paragraph:
+
+(9/5)
+
+ {AI12-0079-3} For a tagged subtype T, each mode of its Global aspect shall
+ identify a subset of the variables identified {either} by the corresponding
+ mode, or by the in out mode, of the Global'Class aspect of the first
+ subtype of any ancestor of T.
****************************************************************
Questions? Ask the ACAA Technical Agent