CVS difference for ais/ai-00157.txt
--- ais/ai-00157.txt 1998/09/30 00:17:28 1.1
+++ ais/ai-00157.txt 1999/07/21 03:10:58 1.2
@@ -1,4 +1,4 @@
-!standard 07.03 (15) 97-07-04 AI95-00157/03
+!standard 07.03 (15) 99-05-28 AI95-00157/04
!class ramification 96-09-04
!status WG9 approved (8-0-0) 97-07-04
!status ARG approved 12-0-0 (subject to editorial review) 96-10-07
@@ -9,7 +9,7 @@
!difficulty Hard
!subject Visibility of Inherited Private Components
-!summary 96-11-18
+!summary
Consider types Parent, Child, and Grandchild, derived from one another
in that order. The components of Child are determined where Child is
@@ -19,7 +19,7 @@
convert from Grandchild to Parent in order to manipulate these
components.
-!question 97-07-04
+!question
Consider the following example:
@@ -50,7 +50,7 @@
What is the meaning of X.C, given that Grandchild is declared in a place
where the full view of Parent is visible?
-!response 96-11-18
+!response
There is a general rule that you can never have more visibility into the
components or operations of a type than in the package where the type is
@@ -107,7 +107,12 @@
The above example is illegal, because in this case, Child *does* inherit
C from Parent, so the second declaration of C is an illegal homograph.
-!appendix 96-09-04
+!ACATS test
+
+Create a B-Test which verifies the illegal cases are detected,
+Create a C-Test which verifies the legal cases (access via conversion).
+
+!appendix
!section 7.3(15)
!subject Controversial visibility of inherited private components in a child unit
Questions? Ask the ACAA Technical Agent