CVS difference for ais/ai-00254.txt

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

--- ais/ai-00254.txt	2004/11/25 00:03:28	1.17
+++ ais/ai-00254.txt	2004/12/09 19:55:22	1.18
@@ -1,7 +1,9 @@
-!standard  3.10   (06)                               04-11-08  AI95-00254/10
+!standard  3.10   (06)                               04-12-05  AI95-00254/11
 !standard  3.10   (12)
+!standard  3.10   (17)
 !standard  3.7    (09)
 !standard  3.10.2 (13)
+!standard  3.10.2 (19)
 !standard  3.10.2 (32)
 !standard  3.10.2 (37)
 !standard  4.9.1  (02)
@@ -173,6 +175,10 @@
 access subtype which excludes the null value; otherwise the subtype includes
 a null value.
 
+Replace 3.10(17) by
+
+The elaboration of an access_definition creates an anonymous access type.
+
 Replace 3.10.2(13) by
 
 *   The accessibility level of the anonymous access type of an access
@@ -183,6 +189,10 @@
 *   The accessibility level of the anonymous access type of an access parameter
     specifying an access-to-subprogram type is infinite.
 
+Modify 3.10.2(17) by adding
+
+    ...access parameter {specifying an access-to-object type}; that is...
+
 Replace the last sentence of 3.10.2(32) by (this includes the AI-229 change):
 
   If the subprogram denoted by P is declared within a generic unit,
@@ -946,6 +956,29 @@
 @xbullet<The accessibility level of the anonymous access type of an access
 parameter specifying an access-to-subprogram type is infinite.>
 
+!corrigendum 3.10(17)
+
+@drepl
+The elaboration of an @fa<access_definition> creates an anonymous general
+access-to-variable type [(this happens as part of the initialization of an
+access parameter or access discriminant)].
+@dby
+The elaboration of an @fa<access_definition> creates an anonymous access type.
+
+!corrigendum 03.10.02(19)
+
+@drepl
+The statically deeper relationship does not apply to the accessibility
+level of the anonymous type of an access parameter;
+that is, such an accessibility level is not considered to be statically
+deeper, nor statically shallower, than any other.
+@dby
+The statically deeper relationship does not apply to the accessibility
+level of the anonymous type of an access parameter specifying an
+access-to-object type;
+that is, such an accessibility level is not considered to be statically
+deeper, nor statically shallower, than any other.
+
 !corrigendum 03.10.02(32)
 
 @drepl
@@ -1114,7 +1147,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: 2004/11/25 00:03:28 $ $Revision: 1.17 $
+!from Bob Duff $Date: 2004/12/09 19:55:22 $ $Revision: 1.18 $
 !discussion
 
 Two issues related to access types and the accessibility rules came
@@ -1527,7 +1560,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: 2004/11/25 00:03:28 $ $Revision: 1.17 $
+!from Bob Duff $Date: 2004/12/09 19:55:22 $ $Revision: 1.18 $
 !discussion
 
 This Language Study Note discusses accessibility checks, and their

Questions? Ask the ACAA Technical Agent