CVS difference for ais/ai-50217.txt
--- ais/ai-50217.txt 2005/08/04 00:54:14 1.22
+++ ais/ai-50217.txt 2005/08/21 06:00:50 1.23
@@ -1,13 +1,15 @@
-!standard 10.01.01 (12) 05-06-20 AI95-00217-06/15
+!standard 10.01.01 (12) 05-08-03 AI95-00217-06/16
!standard 10.01.01 (15)
!standard 10.01.01 (26)
!standard 10.01.02 (04)
!standard 10.01.02 (06)
!standard 10.01.02 (08)
+!standard 10.01.02 (09)
!standard 10.01.04 (03)
!standard 10.01.04 (06)
!standard 10.01.06 (02)
!standard 10.02 (06)
+!standard 10.02.01 (25)
!standard 3.10.01 (10)
!standard 4.01 (09)
!standard 8.03 (20)
@@ -232,6 +234,21 @@
way such a dependence can be broken.
End AARM Note.
+Replace 10.1.2(9) with:
+
+A library_item mentioned in a nonlimited_with_clause of a compilation unit is
+visible within the compilation unit and hence acts just like an ordinary
+declaration. Thus, within a compilation unit that mentions its declaration,
+the name of a library package can be given in use_clauses and can be used to
+form expanded names, a library subprogram can be called, and instances of a
+generic library unit can be declared. If a child of a parent generic package
+is mentioned in a nonlimited_with_clause, then the corresponding declaration
+nested within each visible instance is visible within the compilation unit.
+Similarly, a library_item mentioned in a limited_with_clause of a
+compilation unit is visible within the compilation unit and thus can be used to
+form expanded names.
+
+
Add after 10.1.4(3):
The mechanisms for adding a unit mentioned in a limited_with_clause to an
@@ -262,6 +279,11 @@
package is needed, then so is the explicit declaration of the
library package.
+Add after 10.2.1(25):
+
+The library_unit_name of a pragma Elaborate or Elaborate_All
+shall denote a nonlimited view of a library unit.
+
!discussion
It is natural to think of a with_clause as causing a library unit to become
@@ -774,6 +796,30 @@
@fa<use_clause> that names an entity declared within the declarative region of
the library package.>
+!corrigendum 10.1.2(9)
+
+@drepl
+A @fa<library_item> mentioned in a @fa<with_clause> of a compilation unit
+is visible within the compilation unit and hence acts just like an ordinary
+declaration. Thus, within a compilation unit that mentions its declaration,
+the name of a library package can be given in @fa<use_clause>s and can be used
+to form expanded names, a library subprogram can be called, and instances of a
+generic library unit can be declared. If a child of a parent generic package
+is mentioned in a @fa<with_clause>, then the corresponding declaration nested
+within each visible instance is visible within the compilation unit.
+@dby
+A @fa<library_item> mentioned in a @fa<nonlimited_with_clause> of a compilation
+unit is visible within the compilation unit and hence acts just like an
+ordinary declaration. Thus, within a compilation unit that mentions its
+declaration, the name of a library package can be given in @fa<use_clause>s and
+can be used to form expanded names, a library subprogram can be called, and
+instances of a generic library unit can be declared. If a child of a parent
+generic package is mentioned in a @fa<nonlimited_with_clause>, then the
+corresponding declaration nested within each visible instance is visible
+within the compilation unit. Similarly, a @fa<library_item> mentioned in a
+@fa<limited_with_clause> of a compilation unit is visible within the
+compilation unit and thus can be used to form expanded names.
+
!corrigendum 10.1.4(3)
@drepl
@@ -832,6 +878,15 @@
package is needed, then so is the explicit declaration of the
library package.>
+!corrigendum 10.2.1(25)
+
+@dinsa
+If a @fa<pragma> Elaborate_Body applies to a declaration, then the declaration
+requires a completion (a body).
+@dinst
+The @i<library_unit_>@fa<name> of a @fa<pragma> Elaborate or Elaborate_All
+shall denote a nonlimited view of a library unit.
+
!appendix
From: Pascal Leroy
@@ -3975,7 +4030,7 @@
-----------------
Thoughts on the implementation of "limited with" in AdaMagic
- $Revision: 1.22 $ $Date: 2005/08/04 00:54:14 $
+ $Revision: 1.23 $ $Date: 2005/08/21 06:00:50 $
The "limited with" clause makes a "limited view"
of a package visible in the compilation unit
@@ -5784,7 +5839,7 @@
-----------------
Thoughts on the implementation of "limited with" in AdaMagic
- $Revision: 1.22 $ $Date: 2005/08/04 00:54:14 $
+ $Revision: 1.23 $ $Date: 2005/08/21 06:00:50 $
The "limited with" clause makes a "limited view"
of a package visible in the compilation unit
Questions? Ask the ACAA Technical Agent