CVS difference for ai12s/ai12-0206-1.txt
--- ai12s/ai12-0206-1.txt 2016/11/15 02:58:00 1.1
+++ ai12s/ai12-0206-1.txt 2017/07/21 02:00:01 1.2
@@ -1,8 +1,9 @@
-!standard 13.1.1(18.2/4) 16-11-14 AI12-0206-1/01
+!standard 13.1.1(18.2/4) 17-07-20 AI12-0206-1/02
!standard 13.1.1(18.3/4)
!standard 13.1.1(18.6/4)
!class binding interpretation 16-11-14
!status Amendment 1-2012 16-11-14
+!status ARG Approved 8-0-2 17-06-16
!status work item 16-11-14
!status received 16-10-09
!priority Medium
@@ -15,7 +16,7 @@
!question
-It would be convinient to declare Max_Entry_Queue_Length as a
+It would be convenient to declare Max_Entry_Queue_Length as a
nonoverridable aspect, as we don't want derived types to be able
to change it (see AI12-0164-1). But a nonoverridable aspect must be a
name. Can this be changed? (Yes.)
@@ -26,11 +27,6 @@
!wording
-[Editor's note: This AI's text has been prematurely added to the draft
-Standard in order that AI12-0164-1 is fully defined in the draft. The
-ACATS documents have also been updated; be sure to apply any changes
-in both places.]
-
Replace 13.1.1(18.2-18.3/4):
Certain type-related aspects are defined to be nonoverridable; all
@@ -52,10 +48,6 @@
an aspect whose value is a name, this means that the specified name
shall match the inherited aspect and therefore denote the same
declarations as would the inherited name.
-
-[Editor's note: Steve had the second sentence as Redundant, but I think this
-is the definition of "confirming" for a name; 13.1 doesn't clearly cover
-that case. (That's why it was here in the first place.)]
In 13.1.1(18.6/4), replace:
Questions? Ask the ACAA Technical Agent