CVS difference for ais/ai-00416.txt

Differences between 1.10 and version 1.11
Log of other versions for file ais/ai-00416.txt

--- ais/ai-00416.txt	2005/08/05 04:30:27	1.10
+++ ais/ai-00416.txt	2005/08/21 06:00:39	1.11
@@ -1,4 +1,4 @@
-!standard 3.2.3(01)                                     05-07-12  AI95-00416/09
+!standard 3.2.3(01)                                     05-08-04  AI95-00416/10
 !standard 3.3(10)
 !standard 3.7(27)
 !standard 3.9.2(02)
@@ -26,6 +26,7 @@
 !standard 9.2(03)
 !standard 9.2(04)
 !standard 13.11(25)
+!standard 13.11.1(3)
 !standard 13.11.2(9)
 !standard 13.11.2(10)
 !standard 13.11.2(17)
@@ -262,7 +263,7 @@
     * Within a return statement, the accessibility level of the return
       object is that of the execution of the return statement. If the
       return statement completes normally by returning from the
-      function, prior to leaving the function, the accessibility level
+      function, then prior to leaving the function, the accessibility level
       of the return object changes to be a level determined by the point
       of call, as does the level of any coextensions (see below) of the
       return object.
@@ -281,8 +282,10 @@
 
 Change 3.10.2(12) to be:
 
-    * For an access discriminant, the accessibility level of its
-      anonymous access type is determined as follows:
+    * The accessibility level of the anonymous access type of an access
+      discriminant in the subtype_indication or qualified_expression of an
+      allocator, or in the expression or return_subtype_indication of
+      a return statement is determined as follows:
 
        + For an access discriminant whose value is determined by a
          discriminant_association in a subtype_indication, the
@@ -462,10 +465,10 @@
      to provide the initial value of
      an object with a constrained nominal subtype, Constraint_Error may
      be raised at the point of the call (after abandoning the
-     execution of the function body) if, while elaborating a
+     execution of the function body) if, while elaborating the
      return_subtype_indication or evaluating the expression of a return
-     statement within the function, it is determined that the value of the
-     result will violate the constraint of this object's subtype.
+     statement that applies to the function body, it is determined that the
+     value of the result will violate the constraint of this object's subtype.
 
    AARM NOTE: Without such a permission, it would be very difficult
      to implement "build-in-place" semantics. Such an exception is not
@@ -854,7 +857,7 @@
 @xbullet<Within a return statement, the accessibility level of the return
 object is that of the execution of the return statement. If the
 return statement completes normally by returning from the
-function, prior to leaving the function, the accessibility level
+function, then prior to leaving the function, the accessibility level
 of the return object changes to be a level determined by the point
 of call, as does the level of any coextensions (see below) of the
 return object.>
@@ -874,8 +877,10 @@
 @fa<access_definition> of an @fa<object_renaming_declaration> is the same as
 that of the renamed view.>
 
-@xbullet<For an access discriminant, the accessibility level of its
-anonymous access type is determined as follows:>
+@xbullet<The accessibility level of the anonymous access type of an access
+discriminant in the @fa<subtype_indication> or @fa<qualified_expression> of an
+@fa<allocator>, or in the @fa<expression> or @fa<return_subtype_indication> of
+a return statement is determined as follows:>
 
 @xinbull<For an access discriminant whose value is determined by a
 @fa<discriminant_association> in a @fa<subtype_indication>, the
@@ -1087,10 +1092,10 @@
 and a call on the function is used to provide the initial value of
 an object with a constrained nominal subtype, Constraint_Error may
 be raised at the point of the call (after abandoning the
-execution of the function body) if, while elaborating a
+execution of the function body) if, while elaborating the
 @fa<return_subtype_indication> or evaluating the @fa<expression> of a return
-statement within the function, it is determined that the value of the
-result will violate the constraint of this object's subtype.
+statement that applies to the function body, it is determined that the value
+of the result will violate the constraint of this object's subtype.
 
 !corrigendum 7.6.1(03)
 
@@ -1213,6 +1218,23 @@
 @xbullet<Otherwise, the storage pool should be created at the point of the
 @fa<allocator>, and be reclaimed when the allocated object becomes
 inaccessible.>
+
+!corrigendum 13.11.1(3)
+
+@drepl
+Denotes the maximum value for Size_In_Storage_Elements that will be requested
+via Allocate for an access type whose designated subtype is S. The value of
+this attribute is of type @i<universal_integer>.
+@dby
+Denotes the maximum value for Size_In_Storage_Elements that will be requested
+via Allocate for an access type whose designated subtype is S.
+For a type with access discriminants, if the implementation
+allocates space for a coextension in the same pool as that
+of the object having the access discriminant, then
+this accounts for any calls on Allocate that could be
+performed to provide space for such coextensions.
+The value of this attribute is of type @i<universal_integer>.
+
 
 !corrigendum 13.11.2(9)
 

Questions? Ask the ACAA Technical Agent