CVS difference for ai12s/ai12-0085-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0085-1.txt

--- ai12s/ai12-0085-1.txt	2013/11/01 02:20:27	1.2
+++ ai12s/ai12-0085-1.txt	2014/01/05 04:25:25	1.3
@@ -1,5 +1,7 @@
-!standard E.2.2(17/2)                                   13-10-28  AI05-0085-1/01
+!standard E.2.2(17/2)                                   13-12-11  AI05-0085-1/02
 !class binding interpretation 13-10-28
+!status Corrigendum 2014 13-12-11
+!status ARG Approved 10-0-0  13-11-15
 !status work item 13-10-28
 !status received 13-07-11
 !priority Low
@@ -9,7 +11,7 @@
 
 !summary
 
-A remote access-to-classwide type cannot specify the Storage_Pool or
+A remote access-to-class-wide type cannot specify the Storage_Pool or
 Storage_Size aspects.
 
 !question
@@ -30,9 +32,9 @@
   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
-  attribute of a remote access-to-class-wide type yields 0{.}[; it is not allowed
-  in an attribute_definition_clause.]{The Storage_Pool and Storage_Size aspects
-  shall not be specified for a remote access-to-classwide type.}
+  attribute of a remote access-to-class-wide type yields 0[; it is not allowed
+  in an attribute_definition_clause].{ The Storage_Pool and Storage_Size aspects
+  shall not be specified for a remote access-to-class-wide type.}
 
 !discussion
 
@@ -50,6 +52,24 @@
 The text about the Storage_Pool attribute not being defined is still necessary,
 because we don't want to allow reading the aspect via the attribute as well as
 not wanting to allow it to be specified.
+
+!corrigendum E.2.2(17/2)
+
+@drepl
+@xbullet<The Storage_Pool attribute is not defined for a remote
+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>.>
+@dby
+@xbullet<The Storage_Pool attribute is not defined for a remote
+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. The Storage_Pool and
+Storage_Size aspects shall not be specified for a remote access-to-class-wide
+type.>
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent