10.1.6 Правила видимости на уровне окружения

Обычные правила видимости не применяются внутри parent_unit_name или context_clause, а также внутри pragma, который появляется на месте единицы компиляции. Специальные правила видимости для этих контекстов приведены здесь.

Внутри parent_unit_name в начале library_item и внутри with_clause видимыми являются только объявления, которые являются library_items окружения, а непосредственно видимыми — только корневые library_items окружения. Несмотря на правила 4.1.3, расширенное имя в with_clause может состоять из prefix, обозначающего обобщённый пакет, и selector_name, обозначающего дочерний элемент этого обобщённого пакета. (Дочерний элемент обязательно является обобщённой единицей; см. 10.1.1.)

Внутри use_clause или pragma, находящихся внутри context_clause, виден каждый library_item, упомянутый в предыдущем with_clause того же context_clause, и каждый корневой library_item упомянутого with_clause является непосредственно видимым. Кроме того, внутри такого use_clause, если данное объявление видимо или непосредственно видимо, то каждое объявление, которое встречается непосредственно внутри видимой части данного объявления, также видимо. Никакие другие объявления не видимы или непосредственно не видимы.

Внутри parent_unit_name подпрограммы, library_items видны так же, как и в parent_unit_name library_item; кроме того, видимым также является объявление, соответствующее каждому body_stub в окружении.

Внутри pragma, который появляется на месте единицы компиляции, видимым является непосредственно предшествующий library_item и каждый его предок. Корневой library_item предок непосредственно видим.