CVS difference for ais/ai-00195.txt

Differences between 1.26 and version 1.27
Log of other versions for file ais/ai-00195.txt

--- ais/ai-00195.txt	2002/10/01 03:08:53	1.26
+++ ais/ai-00195.txt	2002/10/29 20:24:56	1.27
@@ -1,10 +1,12 @@
-!standard 8.3 (23)                                    02-09-24  AI95-00195/12
+!standard 8.3 (23)                                    02-10-23  AI95-00195/13
 !standard 13.13.1 (09)
 !standard 13.13.1 (27)
 !standard 13.13.1 (35)
 !standard 13.13.1 (36)
 !standard 13.13.1 (36.1)
 !class binding interpretation 98-03-27
+!status Amendment 200Y 02-10-23
+!status ARG Approved 5-0-5  02-10-12
 !status work item 02-05-31
 !status ARG Approved 6-0-2  01-10-07
 !status work item 98-04-04
@@ -430,8 +432,8 @@
 @dby
 S'Output then calls S'Write to write the value of Item to the stream. S'Input
 then creates an object (with the bounds or discriminants, if any, taken from
-the stream), initializes it with S'Read, and returns the value of the object.
-Normal initialization and finalization take place for this object (see
+the stream), passes it to S'Read, and returns the value of the object.
+Normal default initialization and finalization take place for this object (see
 3.3.1, 7.6, 7.6.1).
 
 !corrigendum 13.13.2(35)
@@ -493,7 +495,7 @@
 @xbullet<The attribute_designator is Input, and @i<T> is nonlimited
 and not abstract.>
 @xbullet<The attribute_designator is Read (resp. Write) and @i<T> is
-a limited type extension, and the attribute Read (resp. Write) is
+a limited record extension, and the attribute Read (resp. Write) is
 available for the parent type of @i<T> and for the types of all of the
 extension components.>
 @xbullet<The attribute_designator is Input (resp. Output), and @i<T> is
@@ -505,15 +507,12 @@
 A stream-oriented attribute for a subtype of a class-wide type T'Class is
 available at places where one of the following conditions is true:
 @xbullet<@i<T> is nonlimited; or>
-@xbullet<@i<T> has a partial view, and the corresponding attribute of @i<T> is
-available somewhere within the visible part of the (generic) package where
-@i<T> is declared; or
-@xbullet<@i<T> has no partial view and the corresponding attribute of @i<T>
-is available somewhere within the list of @fa<declarative_items> where T is
-declared; or
 @xbullet<The attribute has been specified via an
 @fa<attribute_definition_clause>, and the @fa<attribute_definition_clause>
-is visible.>
+is visible; or>
+@xbullet<where the corresponding attribute of @i<T> is available, provided
+that if @i<T> has a partial view, then corresponding attribute is available
+at the end of the visible part where @i<T> is declared.>
 
 An @fa<attribute_reference> for one of the stream-oriented attributes is
 illegal unless the attribute is available at the place of the

Questions? Ask the ACAA Technical Agent