From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: * X-Spam-Status: No, score=1.1 required=5.0 tests=BAYES_20,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!decwrl!mcnc!uvaarpa!software.org!stluka From: stluka@software.org (Fred Stluka) Newsgroups: comp.lang.ada Subject: Re: Use clauses in the visible parts of packages??? Keywords: use clause, package Message-ID: <1991Mar28.171706.9925@software.org> Date: 28 Mar 91 17:17:06 GMT References: <739.27e1226c@vger.nsu.edu> <1991Mar27.200047.21167@kestrel.edu> Sender: usenet@software.org (Usenet News/Mail Support) Organization: Software Productivity Consortium, Herndon VA List-Id: In article <1991Mar27.200047.21167@kestrel.edu> Gyro@Reasoning.COM writes: > ... To wit: what happens if a use > clause appears among the basic declarative items in the visible part > of a package specification? Do the identifiers made directly visible > by the use clause become part of the package's visible declarations? No. The identifiers are only made visible to the "scope" of the use clause, which does not include other packages which "with" the package containing the use clause. Section 8.4(4) says: In order to define which declarations are made directly visible at a given place by use clauses, consider the set of packages named by all use clauses whose scopes enclose this place... ^^^^^^^ The "scope" of a use clause is defined in 8.4(3) as: For each use clause, there is a certain region of text called the "scope" of the use clause. This region starts immediately after the use clause. If the use clause is a declarative item of some declarative region, the scope of the clause extends to the end of the declarative region. ... --Fred -- Fred Stluka Internet: stluka@software.org Software Productivity Consortium UUNET: ...!uunet!software!stluka 2214 Rock Hill Rd, Herndon VA 22070 USA