Contents Index Previous Next
Section 8: Visibility Rules
1
[The rules defining the scope of declarations
and the rules defining which identifiers,
character_literals, and operator_symbols
are visible at (or from) various places in the text of the program are
described in this section. The formulation of these rules uses the notion
of a declarative region.
2
As explained in Section 3, a declaration declares
a view of an entity and associates a defining name with that view. The
view comprises an identification of the viewed entity, and possibly additional
properties. A usage name denotes a declaration. It also denotes the view
declared by that declaration, and denotes the entity of that view. Thus,
two different usage names might denote two different views of the same
entity; in this case they denote the same entity.]
2.a
To be honest: In some cases,
a usage name that denotes a declaration does not denote the view declared
by that declaration, nor the entity of that view, but instead denotes
a view of the current instance of the entity, and denotes the current
instance of the entity. This sometimes happens when the usage name occurs
inside the declarative region of the declaration.
Wording Changes from Ada 83
2.b
We no longer define the term ``basic
operation;'' thus we no longer have to worry about the visibility of
them. Since they were essentially always visible in Ada 83, this change
has no effect. The reason for this change is that the definition in Ada
83 was confusing, and not quite correct, and we found it difficult to
fix. For example, one wonders why an if_statement
was not a basic operation of type Boolean. For another example, one wonders
what it meant for a basic operation to be ``inherent in'' something.
Finally, this fixes the problem addressed by AI83-00027/07.
Contents Index Previous Next Legal