CVS difference for ais/ai-00195.txt

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

--- ais/ai-00195.txt	2003/01/03 00:01:35	1.29
+++ ais/ai-00195.txt	2005/04/13 05:36:55	1.30
@@ -420,8 +420,8 @@
 or Read attribute of each component of the extension part, in canonical order.
 For a limited type extension, if the attribute of the parent type of @i<T>
 is available anywhere within the immediate scope of @i<T>, and the attribute
-of the type of any of the extension components which are of a limited type,
-@i<L>, is not available at the freezing point of @i<T>, then the attribute
+of the type of any of the extension components which are of a limited type
+is not available at the freezing point of @i<T>, then the attribute
 of @i<T> shall be directly specified.
 
 !corrigendum 13.13.2(27)
@@ -435,7 +435,7 @@
 then creates an object (with the bounds or discriminants, if any, taken from
 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).
+3.3.1, 7.6, and 7.6.1).
 
 !corrigendum 13.13.2(35)
 
@@ -491,15 +491,15 @@
 
 A stream-oriented attribute for a subtype of a specific type @i<T> is
 @i<available> at places where one of the following conditions is true:
-@xbullet<The attribute_designator is Read, Write or Output, and @i<T>
+@xbullet<The @fa<attribute_designator> is Read, Write or Output, and @i<T>
 is nonlimited.>
-@xbullet<The attribute_designator is Input, and @i<T> is nonlimited
+@xbullet<The @fa<attribute_designator> is Input, and @i<T> is nonlimited
 and not abstract.>
-@xbullet<The attribute_designator is Read (resp. Write) and @i<T> is
+@xbullet<The @fa<attribute_designator> is Read (resp. Write) and @i<T> 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
+@xbullet<The @fa<attribute_designator> is Input (resp. Output), and @i<T> is
 a limited type, and the attribute Read (resp. Write) is available for @i<T>.>
 @xbullet<The attribute has been specified via an
 @fa<attribute_definition_clause>, and the @fa<attribute_definition_clause>

Questions? Ask the ACAA Technical Agent