CVS difference for ai05s/ai05-0197-1.txt

Differences between 1.6 and version 1.7
Log of other versions for file 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