CVS difference for ais/ai-00129.txt

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

--- ais/ai-00129.txt	1998/09/30 23:25:12	1.2
+++ ais/ai-00129.txt	1999/07/21 03:10:58	1.3
@@ -1,4 +1,4 @@
-!standard 07.03    (10)                               98-06-12  AI95-00129/02
+!standard 07.03    (10)                               99-05-28  AI95-00129/03
 !class confirmation 96-04-04
 !status WG9 approved 98-06-12
 !status ARG Approved  11-0-1  97-11-14
@@ -8,13 +8,13 @@
 !difficulty Medium
 !subject Discriminant Inheritance for Private Extensions
 
-!summary 96-04-04
+!summary
 
 If a private extension inherits unknown discriminants, the corresponding
 full view may inherit known discriminants, and may be constrained or
 unconstrained.
 
-!question 96-04-04
+!question
 
 Consider the following code fragment.  Is the constraint in the full
 declaration of type Child.T legal?  (Yes.)
@@ -40,15 +40,19 @@
 Does the private extension Child.T inherit known discriminants from the
 ancestor subtype?
 
-!response 96-04-04
+!response
 
 The private extension Child.T inherits unknown discriminants (not known
 discriminants) from the partial view of Parent.T (which is the only view
 of Parent.T visible to the private extension).  Thus, 7.3(10) does not
 apply.  The example is legal.
 
-!appendix 96-04-04
+!ACATS test
 
+Create a C-Test containing an example similar to the one in the question.
+
+!appendix
+
 !section 7.3(10)
 !subject When does a private extension inherit known discriminants from its ancestor?
 !reference 96-5451.c Pascal Leroy 96-3-27>>
@@ -109,19 +113,19 @@
 >      private
 >          type T (D : Integer) is tagged null record;
 >      end Parent;
-> 
+>
 >      package Parent.Child is
 >          type T is new Parent.T with private;
 >      private
 >          type T is new Parent.T (D => 3) with null record; -- legal?
 >      end Parent.Child;
-> 
+>
 > The issue has to do with RM95 7.3(10) which says: "if a private extension
 > inherits known discriminants from the ancestor subtype, then the full view
 > shall also inherit its discriminants from the ancestor subtype, and the parent
 > subtype of the full view shall be constrained iff the ancestor subtype is
 > constrained."
-> 
+>
 > Does the private extension Child.T inherit known discriminants from the
 > ancestor subtype?  The answer seems to depend on whether we ask this question
 > on the partial view or on the full view.

Questions? Ask the ACAA Technical Agent