CVS difference for ais/ai-50217.txt
--- ais/ai-50217.txt 2004/11/02 01:50:39 1.18
+++ ais/ai-50217.txt 2004/11/25 03:13:33 1.19
@@ -1,4 +1,4 @@
-!standard 10.01.01 (12) 04-10-05 AI95-00217-06/12
+!standard 10.01.01 (12) 04-11-24 AI95-00217-06/13
!standard 10.01.01 (26)
!standard 10.01.02 (04)
!standard 10.01.02 (06)
@@ -93,12 +93,13 @@
Change the beginning of 8.3(20):
The declaration of a library unit (including a
-library_unit_renaming_declaration) is hidden from all visibility except at
-places that are within its declarative region or within the scope of a
-nonlimited_with_clause that mentions it. The limited view of a library package
-is hidden from all visibility except at places that are within the scope of a
-limited_with_clause that mentions it but not within its declarative region
-nor the scope of a nonlimited_with_clause that mentions it.
+library_unit_renaming_declaration) is hidden from all visibility at places
+outside its declarative region that are not within the scope of a
+nonlimited_with_clause that mentions it. The limited view of a library package
+is hidden from all visibility at places that are not within the scope of a
+limited_with_clause that mentions it; in addition, the limited view is hidden
+from all visibility within the declarative region of the package, as well as
+within the scope of any nonlimited_with_clause that mentions it.
Replace 8.4(5) by:
@@ -551,13 +552,14 @@
within the scope of a @fa<with_clause> that mentions the child.>
@dby
@xbullet<The declaration of a library unit (including a
-@fa<library_unit_renaming_declaration>) is hidden from all visibility except at
-places that are within its declarative region or within the scope of a
+@fa<library_unit_renaming_declaration>) is hidden from all visibility at
+places outside its declarative region that are not within the scope of a
@fa<nonlimited_with_clause> that mentions it. The limited view of a library
-package is hidden from all visibility except at places that are within the
-scope of a @fa<limited_with_clause> that mentions it but not within its
-declarative region nor the scope of a @fa<nonlimited_with_clause> that mentions
-it. For each declaration or renaming of a generic unit as a child of some
+package is hidden from all visibility at places that are not within the scope
+of a @fa<limited_with_clause> that mentions it; in addition, the limited view
+is hidden from all visibility within the declarative region of the package, as
+well as within the scope of any @fa<nonlimited_with_clause> that mentions it.
+For each declaration or renaming of a generic unit as a child of some
parent generic package, there is a corresponding declaration nested immediately
within each instance of the parent. Such a nested declaration is hidden from
all visibility except at places that are within the scope of a @fa<with_clause>
@@ -3903,7 +3905,7 @@
-----------------
Thoughts on the implementation of "limited with" in AdaMagic
- $Revision: 1.18 $ $Date: 2004/11/02 01:50:39 $
+ $Revision: 1.19 $ $Date: 2004/11/25 03:13:33 $
The "limited with" clause makes a "limited view"
of a package visible in the compilation unit
@@ -5712,7 +5714,7 @@
-----------------
Thoughts on the implementation of "limited with" in AdaMagic
- $Revision: 1.18 $ $Date: 2004/11/02 01:50:39 $
+ $Revision: 1.19 $ $Date: 2004/11/25 03:13:33 $
The "limited with" clause makes a "limited view"
of a package visible in the compilation unit
Questions? Ask the ACAA Technical Agent