CVS difference for ais/ai-00108.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00108.txt

--- ais/ai-00108.txt	1999/08/31 22:53:54	1.3
+++ ais/ai-00108.txt	1999/10/08 23:41:05	1.4
@@ -1,4 +1,4 @@
-!standard 13.13.02 (09)                               99-08-31  AI95-00108/03
+!standard 13.13.02 (09)                               99-10-08  AI95-00108/04
 !standard 13.13.02 (27)
 !standard 13.13.02 (36)
 !class binding interpretation 96-04-04
@@ -119,8 +119,8 @@
 if they have defaults. If @i<T> is a tagged type, the tag is not included.
 For nonlimited type extensions, the Write or Read attribute for the parent type
 is called, followed by the Write or Read attribute of each non-inherited
-component, in canonical order. For limited derived types, the Write or Read
-attribute for the parent type is called.
+component, in canonical order. For other derived types, the Write or Read
+attribute of the parent type is inherited.
 
 !corrigendum 13.13.02(27)
 
@@ -130,7 +130,7 @@
 discriminants, if any, taken from the stream), initializes it
 with S'Read, and returns the value of the object.>
 @dinst
-If @i<T> is a derived type, S'Output and S'Input are not inherited from the
+If @i<T> is a type extension, S'Output and S'Input are not inherited from the
 parent type; they are defined in terms of S'Read and S'Write, notwithstanding
 the inheritance rule stated in 13.1.
 
@@ -148,14 +148,14 @@
 function.
 @dinss
 For every subtype S of a language-defined nonlimited specific type @i<T>, the
-output generated by S'Output or S'Write must be readable by S'Input or
-S'Read, respectively. The object read by S'Input or S'Read must behave as
-the original object for the operations declared in the predefined descendants
-of the unit that declares @i<T>. This rule applies across partitions if the
-implementation conforms to the Distributed Systems Annex.
+output generated by S'Output or S'Write shall be readable by S'Input or
+S'Read, respectively. The object read by S'Input or S'Read shall behave as
+the original object for the operations declared in the language-defined
+descendants of the unit that declares @i<T>. This rule applies across
+partitions if the implementation conforms to the Distributed Systems Annex.
 
 For every subtype S'Class of a language-defined class-wide type T'Class, the
-attributes S'Class'Write, S'Class'Read, S'Class'Input and S'Class'Output must
+attributes S'Class'Write, S'Class'Read, S'Class'Input, and S'Class'Output
 have their predefined definition.
 
 !ACATS test

Questions? Ask the ACAA Technical Agent