CVS difference for ais/ai-00240.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00240.txt

--- ais/ai-00240.txt	2000/10/05 02:47:30	1.1
+++ ais/ai-00240.txt	2001/09/13 01:59:48	1.2
@@ -1,9 +1,10 @@
-!standard E.2.2  (8)                                  00-10-04  AI95-00240/01
+!standard E.2.2  (8)                                  01-09-12  AI95-00240/02
 !standard E.2.2  (14)
 !standard E.2.3  (14)
 !class binding interpretation 00-10-04
 !status work item 00-10-04
 !status received 00-10-04
+!reference AI95-00195
 !qualifier Clarification
 !priority Low
 !difficulty Medium
@@ -11,7 +12,7 @@
 
 !summary
 
-E.2.2(14) and E.2.3(14) should be changed to allow any type with callable Read
+E.2.2(14) and E.2.3(14) should allow any type with available Read
 and Write stream attributes.
 
 !question
@@ -27,8 +28,8 @@
 
 Several paragraphs in Annex E require the existence of stream attributes for
 a type: E.2.2(8), E.2.2(14/1), and E.2.3(14/1). None of these paragraphs
-have been updated to reflect the previous change. Should any of them be updated?
-(Yes for E.2.2(14), E.2.3(14), No for E.2.2(8)).
+have been updated to reflect the previous change. Should any of them be
+updated? (Yes for E.2.2(14), E.2.3(14), No for E.2.2(8)).
 
 !recommendation
 
@@ -36,20 +37,19 @@
 
 !wording
 
-Change 13.13.2(36) to define "callable stream attribute" to mean either (a) an
-attribute of a non-limited type; or (b) an attribute that has been specified by
-an attribute_definition_clause or [(for a limited type extension)] the
-attribute has been specified for an ancestor type.
+AI95-00195 makes a further change in 13.13.1(36), introducing the idea of
+a stream-oriented attribute being "available". This change makes it easier
+to word the replacement paragraphs.
 
 Change E.2.2(8) to use the magic phrase "specified by an
 attribute_definition_clause", as "user-specified attribute" is not defined.
 
 Change E.2.2(14) to say "each non-controlling formal parameter shall have
-either a nonlimited type or a type with callable Read and Write stream
+either a nonlimited type or a type with available Read and Write stream
 attributes;"
 
 Change E.2.3(14) to say "...or a formal parameter of a limited type unless
-that limited type has callable Read and Write stream attributes;"
+that limited type has available Read and Write stream attributes;"
 
 !discussion
 
@@ -75,7 +75,7 @@
   a type with Read and Write attributes specified via an
   attribute_definition_clause;
 
-The intent of this paragraph is that the attributes be callable (see the
+The intent of this paragraph is that the attributes be available (see the
 Defect Report 8652/0083 for a discussion). Thus, it echos the original
 13.13.2(36). However, with the change to 13.13.2(36), this does not allow
 the use of type whose attributes were specified for an ancestor type. Thus,
@@ -91,8 +91,44 @@
 similar.
 
 !corrigendum  E.2.2(8)
+
+@drepl
+@xbullet<if the full view of a type declared in the visible part of the library
+unit has a part that is of a non-remote access type, then that access
+type, or the type of some part that includes the access type
+subcomponent, shall have user-specified Read and Write attributes.>
+@dby
+@xbullet<if the full view of a type declared in the visible part of the library
+unit has a part that is of a non-remote access type, then that access
+type, or the type of some part that includes the access type
+subcomponent, shall have Read and Write attributes specified by an
+@fa<attribute_definition_clause>.>
+
 !corrigendum  E.2.2(14)
+@drepl
+@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 have either a
+nonlimited type or a type with Read and Write attributes specified via
+an attribute_definition_clause;>
+@dby
+@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 have either a
+nonlimited type or a type with available Read and Write attributes
+(see 13.13.1);>
+
 !corrigendum  E.2.3(14)
+@drepl
+@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 formal parameter of a limited type unless that limited
+type has user-specified Read and Write attributes;>
+@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 formal parameter of a limited type unless that limited
+type has available Read and Write attributes (see 13.13.1);>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent