CVS difference for ais/ai-00252.txt

Differences between 1.4 and version 1.5
Log of other versions for file ais/ai-00252.txt

--- ais/ai-00252.txt	2003/06/27 23:46:28	1.4
+++ ais/ai-00252.txt	2003/06/28 00:41:07	1.5
@@ -1,4 +1,4 @@
-!standard 04.01.03 (05)                               03-06-21  AI95-00252/03
+!standard 04.01.03 (05)                               03-06-22  AI95-00252/04
 !class amendment 00-12-04
 !status work item 00-12-04
 !status received 00-12-04
@@ -77,7 +77,7 @@
 Use-visibility rules are used for these implicitly-declared components to avoid
 "beaujolais" effects.
 
-Note that if the prefix type is not tagged and not access to tagged, no
+Note that if the prefix type is neither tagged nor access to tagged, no
 shorthand is defined. If the type is tagged, it makes available the classwide
 operations from the packages where "coverings" are declared, plus the
 primitives from the package where the type itself is declared. If the type is
@@ -98,10 +98,16 @@
     first formal parameter of the subprogram shall be of type T, or a
     class-wide type that covers T, or an access parameter designating one of
     these types.  The selected_component denotes a view of this subprogram
-    that omits the first formal parameter, with the corresponding actual
-    parameter in any call of the view being provided by the object denoted by
-    the prefix (or the Access attribute of this object if the first formal is
-    an access parameter).
+    that omits the first formal parameter, and has convention Intrinsic.
+
+Add the following after para 4.1.3(15) of dynamic semantics:
+
+    For a selected_component with a tagged prefix and selector that denotes a
+    subprogram, a call on the view denoted by the selected_component
+    is equivalent to a call on the underlying subprogram with the first actual
+    parameter being provided by the object denoted by the prefix (or the Access
+    attribute of this object if the first formal is an access parameter), and
+    the remaining actual parameters given by the actual_parameter_part, if any.
 
 !discussion
 

Questions? Ask the ACAA Technical Agent