Version 1.2 of ais/ai-00408.txt

Unformatted version of ais/ai-00408.txt version 1.2
Other versions for file ais/ai-00408.txt

!standard 8.3 (23)          05-02-26 AI95-00408/02
!standard 8.2 (10)
!class amendment 05-02-07
!status Amendment 200Y 05-02-26
!status ARG Approved 8-0-2 05-02-12
!status work item 05-02-07
!status received 05-02-07
!priority High
!difficulty Easy
!subject Visibility for attribute_definition_clauses
!summary
(See proposal.)
!problem
The definition of visibility for attribute_definition_clauses in AI-195 is flawed. It is constructed by analogy with declarations, but the visibility of declarations has plenty of oddities related to homographs, hiding, use clauses, etc.
!proposal
Define the scope of attribute_definition_clauses by analogy with declarations, because the definition of scope doesn't have the complexity of visibility. Then define visibility of attribute_definition_clauses using a special rule.
!wording
Add after 8.2(10):
The scope of an attribute_definition_clause is identical to the scope of a declaration that would occur at the point of the attribute_definition_clause.
Replace the paragraph added after 8.3(23) by AI-195 with:
An attribute_definition_clause is visible everywhere within its scope.
!discussion
(See proposal.)
!example
See AI-195 for examples.
!corrigendum 8.2(10)
Insert after the paragraph:
The scope of a declaration always contains the immediate scope of the declaration. In addition, for a given declaration that occurs immediately within the visible part of an outer declaration, or is a public child of an outer declaration, the scope of the given declaration extends to the end of the scope of the outer declaration, except that the scope of a library_item includes only its semantic dependents.
the new paragraph:
The scope of an attribute_definition_clause is identical to the scope of a declaration that would occur at the point of the attribute_definition_clause.
!corrigendum 8.3(23)
Insert after the paragraph:
the new paragraph:
An attribute_definition_clause is visible everywhere within its scope.
!ACATS test
!appendix

*************************************************************

Questions? Ask the ACAA Technical Agent