CVS difference for ais/ai-00366.txt

--- ais/ai-00366.txt	2004/12/09 19:55:36	1.12
+++ ais/ai-00366.txt	2005/01/28 02:10:50	1.13
@@ -1,4 +1,4 @@
-!standard 10.2.1(16)                                  04-12-02  AI95-00366/07
+!standard 10.2.1(16)                                  04-01-17  AI95-00366/08
 !standard 3.2(6)
 !standard 3.8(9)
 !standard 10.2.1(17)
@@ -146,8 +146,10 @@
     A limited type supports external streaming only if it has available
     Read and Write attributes. A type with a part that is of an access
     type supports external streaming only if that access type or the type
-    of some part that includes the access type component, has available
-    Read and Write attributes. [An anonymous access type does not support
+    of some part that includes the access type component, has Read and
+    Write attributes that have been specified via an
+    attribute_definition_clause, and that attribute_definition_clause
+    is visible. [An anonymous access type does not support
     external streaming.] All other types support external streaming.
 
 Add after the above an AARM note:
@@ -162,7 +164,7 @@
 
 by
     the full view of each type declared in the visible part of the library
-    unit shall support external streaming.
+    unit shall support external streaming (see 13.13.2).
 
 
 Replace E.2.2(14/1):
@@ -178,7 +180,7 @@
     The primitive subprograms of the corresponding specific
     limited private type shall only have access parameters if they are
     controlling formal parameters; each non-controlling formal parameter
-    shall support external streaming;
+    shall support external streaming (see 13.13.2);
 
 
 Replace E.2.2(17/1)
@@ -212,7 +214,7 @@
     * it shall not be, nor shall its visible part contain, a subprogram (or
       access-to-subprogram) declaration whose profile has [an access
       parameter or] a parameter of a type that does not support external
-      streaming;
+      streaming (see 13.13.2);
 
 Replace AARM E.2.3(11.a)
     Reason: We disallow the declaration of task and protected types, since
@@ -270,7 +272,7 @@
 term throughout Section E wherever user-defined Read and Write attributes
 are required.
 
-To avoid privacy issues, we add a rule that ensures that all types
+To avoid privacy issues, we add a rule that ensures that all private types
 declared in the visible part of Pure units (on which Remote Types or
 Remote Call Invocation units may depend) support streaming.
 
@@ -375,8 +377,10 @@
 A limited type supports external streaming only if it has available
 Read and Write attributes. A type with a part that is of an access
 type supports external streaming only if that access type or the type
-of some part that includes the access type component, has available
-Read and Write attributes. An anonymous access type does not support
+of some part that includes the access type component, has Read and
+Write attributes that have been specified via an
+@fa<attribute_definition_clause>, and that @fa<attribute_definition_clause>
+is visible. An anonymous access type does not support
 external streaming. All other types support external streaming.
 
 !corrigendum E.2.2(8)
@@ -388,7 +392,7 @@
 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.>
+unit shall support external streaming (see 13.13.2).>
 
 !corrigendum E.2.2(14/1)
 
@@ -402,7 +406,7 @@
 @xbullet<The primitive subprograms of the corresponding specific
 limited private type shall only have access parameters if they are
 controlling formal parameters; each non-controlling formal parameter
-shall support external streaming;>
+shall support external streaming (see 13.13.2);>
 
 !corrigendum E.2.2(17/1)
 
@@ -429,7 +433,7 @@
 @dby
 @xbullet<it shall not be, nor shall its visible part contain, a subprogram (or
 access-to-subprogram) declaration whose profile has an access parameter or a
-parameter of a type that does not support external streaming;>
+parameter of a type that does not support external streaming (see 13.13.2);>
 
 !ACATS test