Re: Visibility of Indexing aspects

[AdaMagica <christ-usch.grein@t-online.de>]

Am Freitag, 20. Juli 2018 14:08:11 UTC+2 schrieb Jere:
> I was under the impression that scope and visibility were two different
> things.  If I understand you correctly, it sounds like you are saying
> that
> 
> package Things is
>    --One scope
> private
>    --another scope
> end Things;
> 
> I was under the impression that it was more like:
> 
> package Things is
>    --One scope
> private
>    --same scope but different visibility
> end Things;

The scope of every declaration start with the place of the declaration, so in a package or any declarative region, there are many scopes, some of which are visible, others not.

> Also how does this reconcile with:
> 
> 8.3 (23.1/3):
> An attribute_definition_clause or an aspect_specification is
> visible everywhere within its scope.
> 
> That section makes it sound like aspects created in the private
> section are indeed visible in the public section.

Why do you think so?  

> Couple that with the section you mentioned:
> 
> 8.2(10.1/3) The scope of an aspect_specification is identical to 
> the scope of the associated declaration.

"associated" means the declaration (syntax) in which it appears. This is here in the private part in the full declaration, so it's *not* visible in the public part.

BTW: You should definitely report this severe bug to AdaCore.