CVS difference for ais/ai-00366.txt

--- ais/ai-00366.txt	2005/08/21 06:00:34	1.16
+++ ais/ai-00366.txt	2005/10/31 05:18:37	1.17
@@ -1,4 +1,4 @@
-!standard 10.2.1(16)                                  05-08-07  AI95-00366/10
+!standard 10.2.1(16)                                  05-10-11  AI95-00366/11
 !standard 3.2(6)
 !standard 3.8(9)
 !standard 4.8(5)
@@ -122,9 +122,9 @@
           being an allocator.
 
       * the elaboration of the declaration of a named
-        access-to-variable type for which the Storage_Size
-        has not been specified by a static expression with value zero
-        and is not defined by the language to be zero;
+        access-to-variable type unless the Storage_Size of the type
+        has been specified by a static expression with value zero or
+        is defined by the language to be zero;
 
       * the elaboration of the declaration of a named
         access-to-constant type for which the Storage_Size
@@ -139,7 +139,8 @@
          the storage pool would represent state.
 
     The Storage_Size for an anonymous access-to-variable type declared at
-    library level in an unit that is declared pure is defined to be zero.
+    library level in a library unit that is declared pure is defined to be
+    zero.
 
     Legality Rules
 
@@ -157,8 +158,8 @@
     shall be pure, and they shall depend semantically only on compilation
     units of other library units that are declared pure.
     Furthermore, the full view of any nonlimited partial view declared in the
-    visible part of the library unit shall support external streaming (see
-    13.13.2).
+    visible part of the library unit that has any available stream attributes
+    shall support external streaming (see 13.13.2).
 
 Replace 10.2.1(18)
 
@@ -190,7 +191,7 @@
 Add after 13.13.2(36/1):
 
     A type is said to support external streaming if Read and Write attributes
-    are available that provide for sending values of such a type between active
+    are provided for sending values of such a type between active
     partitions, with Write marshalling the representation, and Read
     unmarshalling the representation.
 
@@ -215,7 +216,8 @@
 
 by
     the full view of each type declared in the visible part of the library
-    unit shall support external streaming (see 13.13.2).
+    unit that has any available stream attributes shall support
+    external streaming (see 13.13.2).
 
 
 Replace E.2.2(14/1):
@@ -399,17 +401,16 @@
 is presumed to have non-visible components whose default
 initialization evaluates such an @fa<allocator>;>
 
-@xbullet<the elaboration of the declaration of a named
-access-to-variable type for which the Storage_Size
-has not been specified by a static expression with value zero
-and is not defined by the language to be zero;>
+@xbullet<the elaboration of the declaration of a named access-to-variable type
+unless the Storage_Size of the type has been specified by a static expression
+with value zero or is defined by the language to be zero;>
 
 @xbullet<the elaboration of the declaration of a named access-to-constant type
 for which the Storage_Size has been specified by an expression other than a
 static expression with value zero.>
 
 The Storage_Size for an anonymous access-to-variable type declared at
-library level in an unit that is declared pure is defined to be zero.
+library level in a library unit that is declared pure is defined to be zero.
 
 @i<@s8<Legality Rules>>
 
@@ -425,8 +426,8 @@
 @fa<pragma> Pure applies to a library unit, then its compilation units shall
 be pure, and they shall depend semantically only on compilation units of other
 library units that are declared pure. Furthermore, the full view of any
-nonlimited partial view declared in the visible part of the library unit shall
-support external streaming (see 13.13.2).
+partial view declared in the visible part of the library unit that has
+any available stream attributes shall support external streaming (see 13.13.2).
 
 !corrigendum 10.2.1(18)
 
@@ -467,7 +468,7 @@
 function.
 @dinss
 A type is said to @i<support external streaming> if Read and Write attributes
-are available that provide for sending values of such a type between active
+are provided for sending values of such a type between active
 partitions, with Write marshalling the representation, and Read
 unmarshalling the representation.
 
@@ -489,7 +490,8 @@
 user-specified Read and Write attributes.>
 @dby
 @xbullet<the full view of each type declared in the visible part of the library
-unit shall support external streaming (see 13.13.2).>
+unit that has any available stream attributes shall support external
+streaming (see 13.13.2).>
 
 !corrigendum E.2.2(14/1)
 
@@ -509,14 +511,14 @@
 
 @drepl
 @xbullet<The Storage_Pool and Storage_Size attributes are not defined for
-remote access-to-class-wide types; the expected type for an allocator shall not
-be a remote access-to-class-wide type; a remote access-to-class-wide type shall
-not be an actual parameter for a generic formal access type.>
+remote access-to-class-wide types; the expected type for an @fa<allocator>
+shall not be a remote access-to-class-wide type; a remote access-to-class-wide
+type shall not be an actual parameter for a generic formal access type.>
 @dby
 @xbullet<The Storage_Pool attribute is not defined for a remote
-access-to-class-wide type; the expected type for an allocator shall not be a
-remote access-to-class-wide type. A remote access-to-class-wide type shall not
-be an actual parameter for a generic formal access type. The Storage_Size
+access-to-class-wide type; the expected type for an @fa<allocator> shall not be
+a remote access-to-class-wide type. A remote access-to-class-wide type shall
+not be an actual parameter for a generic formal access type. The Storage_Size
 attribute of a remote access-to-class-wide type yields 0; it is not allowed in
 an @fa<attribute_definition_clause>.>