CVS difference for ais/ai-50217.txt
--- ais/ai-50217.txt 2004/09/17 04:44:38 1.16
+++ ais/ai-50217.txt 2004/10/05 22:49:29 1.17
@@ -1,4 +1,4 @@
-!standard 10.01.01 (12) 04-09-16 AI95-00217-06/10
+!standard 10.01.01 (12) 04-10-05 AI95-00217-06/12
!standard 10.01.01 (26)
!standard 10.01.02 (04)
!standard 10.01.02 (06)
@@ -97,8 +97,8 @@
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 the scope of a
-nonlimited_with_clause that mentions it.
+limited_with_clause that mentions it but not within its declarative region
+nor the scope of a nonlimited_with_clause that mentions it.
Replace 8.4(5) by:
@@ -158,8 +158,6 @@
A library package_declaration is the completion of the declaration of its
limited view.
-The elaboration of the limited view of a package has no effect.
-
Insert in 10.1.1(26):
The implicit declaration of the limited view of a library package depends
@@ -167,6 +165,10 @@
The declaration of a library package depends semantically upon the implicit
declaration of its limited view.
+Dynamic Semantics
+
+The elaboration of the limited view of a package has no effect.
+
Replace 10.1.2(4) by:
@@ -553,13 +555,13 @@
places that are within its declarative region or 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 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 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> that mentions the
-child.>
+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
+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>
+that mentions the child.>
!corrigendum 8.4(5)
@@ -639,7 +641,7 @@
There is no syntax for declaring limited views of packages, because they are
always implicit. The implicit declaration of a limited view of a package is
-@i<not> the declaration of a library unit (the library package_declaration is);
+not the declaration of a library unit (the library package_declaration is);
nonetheless, it is a @fa<library_item>.
A library @fa<package_declaration> is the completion of the declaration of
@@ -3901,7 +3903,7 @@
-----------------
Thoughts on the implementation of "limited with" in AdaMagic
- $Revision: 1.16 $ $Date: 2004/09/17 04:44:38 $
+ $Revision: 1.17 $ $Date: 2004/10/05 22:49:29 $
The "limited with" clause makes a "limited view"
of a package visible in the compilation unit
@@ -5710,7 +5712,7 @@
-----------------
Thoughts on the implementation of "limited with" in AdaMagic
- $Revision: 1.16 $ $Date: 2004/09/17 04:44:38 $
+ $Revision: 1.17 $ $Date: 2004/10/05 22:49:29 $
The "limited with" clause makes a "limited view"
of a package visible in the compilation unit
Questions? Ask the ACAA Technical Agent