Re: Visibility of Indexing aspects

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

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.