CVS difference for ais/ai-00254.txt

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

--- ais/ai-00254.txt	2002/01/24 04:54:12	1.3
+++ ais/ai-00254.txt	2002/03/13 00:48:27	1.4
@@ -1,5 +1,6 @@
-!standard 03.10   (11)                               02-01-23  AI95-00254/02
+!standard 03.10   (11)                               02-02-25  AI95-00254/03
 !class amendment 00-12-06
+!status ARG Approved 5-0-2  02-02-11
 !status work item 01-08-29
 !status received 00-12-06
 !priority Low
@@ -32,7 +33,7 @@
 
 The actual subprogram must be an access value designating a subprogram
 which is subtype conformant to the formal profile. The actual parameter
-must not be null.
+must not be null (this is a runtime check).
 
 The only operations permitted on such a formal subprogram parameter are a)
 to call it, and b) to pass it as an actual parameter to another subprogram
@@ -54,11 +55,14 @@
 
 The option of being protected does not apply to access-to-subprogram
 parameters. An access to a protected operation may not be passed to such
-parameters.  (Are we happy with this?)
+parameters.
 
 Default parameters are permitted for access-to-subprogram parameters with
 the semantics of renaming. The default must not be null.
 
+The convention of an access-to-subprogram parameter is the convention of the
+subprogram that contains the parameter.
+
 !discussion
 
 There are two basic uses for what might loosely be called pointers to
@@ -707,7 +711,7 @@
 !reference RM9X-3.10.2(16);4.0
 !reference AARM-12.3(12.p,12.q);4.0
 !reference LSN-1042 on Accessibility Checks in Generics
-!from Bob Duff $Date: 2002/01/24 04:54:12 $ $Revision: 1.3 $
+!from Bob Duff $Date: 2002/03/13 00:48:27 $ $Revision: 1.4 $
 !discussion
 
 Two issues related to access types and the accessibility rules came
@@ -1120,7 +1124,7 @@
 !topic LSN on Accessibility Checks in Generics
 !key LSN-1042 on Accessibility Checks in Generics
 !reference MS-12;4.6
-!from Bob Duff $Date: 2002/01/24 04:54:12 $ $Revision: 1.3 $
+!from Bob Duff $Date: 2002/03/13 00:48:27 $ $Revision: 1.4 $
 !discussion
 
 This Language Study Note discusses accessibility checks, and their

Questions? Ask the ACAA Technical Agent