CVS difference for ai05s/ai05-0197-1.txt
--- ai05s/ai05-0197-1.txt 2011/04/02 07:30:36 1.6
+++ ai05s/ai05-0197-1.txt 2011/05/03 03:40:24 1.7
@@ -1,5 +1,6 @@
-!standard 3.9.2(20.1/2) 11-03-17 AI05-0197-1/02
+!standard 3.9.2(20.1/2) 11-05-02 AI05-0197-1/02
!standard 3.9.2(20.2/2)
+!status Amendment 2012 11-05-02
!class binding interpretation 10-02-08
!status ARG Approved 8-0-0 11-03-17
!status work item 10-02-08
@@ -66,8 +67,8 @@
Insert a new bulleted item after 3.9.2(20.1/3):
- * If the corresponding operation is a predefined operator
- then the action comprises an invocation of that operator;
+* if the corresponding operation is a predefined operator
+ then the action comprises an invocation of that operator;
[Editor's note: This handles predefined "=", which is not inherited but
rather constructed anew for each time.]
@@ -152,7 +153,31 @@
so only null subprograms would be affected, and this case seems to be messier
than it is worth. Then we could use the overriding wording.]
---!corrigendum 3.9.2(20.2/2)
+!corrigendum 3.9.2(20.1/2)
+
+@dinsa
+@xbullet<if the operation is implemented by an entry or
+protected subprogram (see 9.1 and 9.4), then the action comprises a
+call on this entry or protected subprogram, with the target object being given
+by the first actual parameter of the call, and the actual parameters of the
+entry or protected subprogram being given by the remaining actual parameters of
+the call, if any;>
+@dinst
+@xbullet<if the corresponding operation is a predefined operator
+then the action comprises an invocation of that operator;>
+
+!corrigendum 3.9.2(20.2/2)
+
+@drepl
+@xbullet<otherwise, the action is the same as the action for
+the corresponding operation of the parent type.>
+@dby
+@xbullet<otherwise, the action is the same as the action for
+the corresponding operation of the parent type or progenitor type from
+which the operation was inherited. If there is more than one such
+corresponding operation, the action is that for the operation that
+is not a null procedure, if any; otherwise, the action
+is that of an arbitrary one of the operations.>
!ACATS Test
Questions? Ask the ACAA Technical Agent