CVS difference for ais/ai-00108.txt

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

--- ais/ai-00108.txt	1999/10/08 23:41:05	1.4
+++ ais/ai-00108.txt	2000/03/09 03:09:40	1.5
@@ -1,4 +1,4 @@
-!standard 13.13.02 (09)                               99-10-08  AI95-00108/04
+!standard 13.13.02 (09)                               00-03-07  AI95-00108/05
 !standard 13.13.02 (27)
 !standard 13.13.02 (36)
 !class binding interpretation 96-04-04
@@ -99,6 +99,37 @@
 implementer must provide an explicit version of the Read and Write
 attributes.
 
+!corrigendum 13.1(15)
+
+@drepl
+A derived type inherits each type-related aspect of its parent type that
+was directly specified before the declaration of the derived type, or (in the
+case where the parent is derived) that was inherited by the parent type from
+the grandparent type. A derived subtype inherits each subtype-specific
+aspect of its parent subtype that was directly specified before the
+declaration of the derived type, or (in the case where the parent is derived)
+that was inherited by the parent subtype from the grandparent subtype, but
+only if the parent subtype statically matches the first subtype of the parent
+type. An inherited aspect of representation is overridden by a subsequent
+representation item that specifies the same aspect of the type or subtype.
+@dby
+A derived type inherits each type-related aspect of representation of its
+parent type that was directly specified before the declaration of the derived
+type, or (in the case where the parent is derived) that was inherited by the
+parent type from the grandparent type. A derived subtype inherits each
+subtype-specific aspect of representation of its parent subtype that was
+directly specified before the declaration of the derived type, or (in the case
+where the parent is derived) that was inherited by the parent subtype from the
+grandparent subtype, but only if the parent subtype statically matches the
+first subtype of the parent type. An inherited aspect of representation is
+overridden by a subsequent representation item that specifies the same aspect
+of the type or subtype.
+
+In contrast, operational aspects are not inherited for derived types; rather,
+the predefined value of each aspect is used. A predefined operational aspect
+can be overridden by a subsequent operational item that specifies the same
+aspect of the type.
+
 !corrigendum 13.13.02(9)
 
 @drepl
@@ -247,5 +278,12 @@
 --
 Laurent Guerby <guerby@gnat.com>, Team Ada.
    "Use the Source, Luke. The Source will be with you, always (GPL)."
+
+****************************************************************
+
+From Randy Brukardt 3-7-2000
+
+Paragraph 13.1(15.1) is not normative (it follows from other rules), and
+could be omitted.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent