CVS difference for ais/ai-00251.txt

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

--- ais/ai-00251.txt	2005/01/07 03:07:32	1.28
+++ ais/ai-00251.txt	2005/02/08 07:12:25	1.29
@@ -241,7 +241,7 @@
 Replace the last sentence of paragraph 10 with:
 
     An *ultimate ancestor* of a type is an ancestor of that type that
-    is not a descendant of any other type. Each untagged type has a
+    is not itself a descendant of any other type. Each untagged type has a
     unique ultimate ancestor.
 
 
@@ -260,9 +260,9 @@
 
     (This section is entirely new.)
 
-        An interface type is an abstract tagged type which provides a
-	restricted form of multiple inheritance. A tagged type may be derived
-	from multiple interface types.
+        An interface type is an abstract tagged type that provides a restricted
+	form of multiple inheritance. A tagged type have one or more interface
+        types as ancestors.
 
                                  Syntax
 
@@ -366,6 +366,10 @@
         (see 12.3), these rules apply also in the private part of an instance
         of a generic unit.
 
+                               Dynamic Semantics
+
+        The elaboration of an interface_type_definition has no effect.
+
 4.5.2  Relational Operators and Membership Tests
 
     Replace paragraph 3 with
@@ -1057,7 +1061,7 @@
 are defined to be descendants of the root types of their classes. If a type
 @i<T2> is a descendant of a type @i<T1>, then @i<T1> is called an @i<ancestor>
 of @i<T2>. An @i<ultimate ancestor> of a type is an ancestor of that type that
-is not a descendant of any other type. Each untagged type has a unique
+is not itself a descendant of any other type. Each untagged type has a unique
 ultimate ancestor.
 
 !corrigendum 3.9.3(04)
@@ -1081,9 +1085,9 @@
 !corrigendum 3.9.4(1)
 
 @dinsc
-An interface type is an abstract tagged type which provides a restricted
-form of multiple inheritance. A tagged type may be derived from multiple
-interface types.
+An interface type is an abstract tagged type that provides a restricted
+form of multiple inheritance. A tagged type have
+one or more interface types as ancestors.
 
 @i<@s8<Syntax>>
 
@@ -1123,6 +1127,10 @@
 In addition to the places where Legality Rules normally apply
 (see 12.3), these rules apply also in the private part of an instance
 of a generic unit.
+
+@i<@s8<Dynamic Semantics>>
+
+The elaboration of an @fa<interface_type_definition> has no effect.
 
 !corrigendum 4.5.2(3)
 

Questions? Ask the ACAA Technical Agent