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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a6b:3ad7:: with SMTP id
 h206-v6mr325466ioa.35.1531820782284;
        Tue, 17 Jul 2018 02:46:22 -0700 (PDT)
X-Received: by 2002:aca:de07:: with SMTP id v7-v6mr298860oig.5.1531820782119;
 Tue, 17 Jul 2018 02:46:22 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.uzoreto.com!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!g2-v6no330081itf.0!news-out.google.com!n194-v6ni665itg.0!nntp.google.com!d7-v6no322190itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 17 Jul 2018 02:46:21 -0700 (PDT)
In-Reply-To: <9d69e7b5-6b2d-4607-9f7b-affa78c41620@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a00:6020:19ff:e600:a923:fe2d:702f:a891;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 2a00:6020:19ff:e600:a923:fe2d:702f:a891
References: <40d568da-4715-42de-8e28-98da39a5c974@googlegroups.com>
 <34f499f7-020f-4dcc-adad-0ab1113386d1@googlegroups.com>
 <b1e463c1-b715-49d4-8649-506b1a2bc265@googlegroups.com>
 <dbc745d2-ec83-457b-b6d9-4bbc7d824126@googlegroups.com>
 <9d69e7b5-6b2d-4607-9f7b-affa78c41620@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <41c711cb-0300-4a41-93d3-e69297ae1945@googlegroups.com>
Subject: Re: Visibility of Indexing aspects
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Tue, 17 Jul 2018 09:46:22 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:53866
Date: 2018-07-17T02:46:21-07:00
List-Id: <comp.lang.ada>

Am Dienstag, 17. Juli 2018 02:35:06 UTC+2 schrieb Jere:
> On Sunday, July 15, 2018 at 11:22:14 PM UTC-4, AdaMagica wrote:
> > What about RM 8 Visibility? 8.2(5,7,9) - all these things are not in the visible part.
> 
> I looked at that, but saw that 8.2(7), which applies in this case, 
> specifically leaves out the aspect specification of what is considered 
> in/out of the visible part.  It says all things within the type_declaration,
> which is not defined to contain the aspect_specification (though the
> full_type_declaration does).

Please see 7.3(2/3) - it does!

>  Additionally, 8.2 only mentions aspects
> in reference to scopes.  I peaked further into section 8.3 but only 
> found:
> 
> 8.3 (23.1/3):
> An attribute_definition_clause or an aspect_specification is 
> visible everywhere within its scope.

8.2(10.1/3) The scope of an aspect_specification is identical to the scope of the associated declaration.

Since this is in the private part, it's not in the scope of the private view (which is larger in this case).

> Which sounds like it should be visible even if specified in
> the private part (though I am not sure I am reading it right).

You read it correctly, but forgot to consider the scope.

> The RM seems very unspecific about visibility of aspects outside of
> those two spots.  What did I miss?

The RM tries to be very specific - see above.