10.1.1 Единицы компиляции — библиотечные единицы

Элемент библиотеки library_item — это единица компиляции, которая является объявлением, телом или переименованием библиотечной единицы. Каждая библиотечная единица (кроме Standard) имеет родительскую единицу, которая является библиотечным пакетом или обобщённым библиотечным пакетом. Библиотечная единица является дочерней единицей родительской единицы. Корневые библиотечные единицы являются дочерними по отношению к предопределённому библиотечному пакету Standard.

Библиотечная единица library_unit — это единица программы, объявляемая элементом library_item. Когда единица программы является библиотечной единицей, используется префикс «библиотека» (или «обобщённая библиотека», если обобщённая), а также для её объявления и тела, как в «библиотечная процедура», «библиотечное тело пакета» или «обобщённый библиотечный пакет». Термин единица компиляции используется для обозначения compilation_unit. Когда смысл понятен из контекста, этот термин также используется для обозначения элемента library_item единицы компиляции или для собственного тела подмодуля (compilation_unit без context_clause и separate (parent_unit_name)).

Объявление родителя элемента library_item (и библиотечной единицы) — это объявление, обозначаемое parent_unit_name, если таковое имеется, из defining_program_unit_name элемента library_item. Если parent_unit_name отсутствует, родительским объявлением является объявление Standard, library_item является корневым library_item, а библиотечная единица (переименование) является корневой библиотечной единицей (переименование). Объявление и тело самого Standard не имеют родительского объявления.

Дочерние единицы библиотечной единицы находятся непосредственно в области объявления объявления библиотечной единицы. Предки библиотечной единицы — это сама единица, её родитель, родитель родителя и так далее. (Standard является предком каждой библиотечной единицы.) Потомок — это обратное отношение предка.

Объявление library_unit_declaration или переименование library_unit_renaming_declaration является приватным, если перед объявлением стоит зарезервированное слово private; в противном случае — публичным. Библиотечная единица является приватной или публичной в соответствии с её объявлением. Публичные потомки библиотечной единицы — это сама библиотечная единица и публичные потомки её публичных дочерних единиц. Все остальные потомки — приватные потомки.

Родительская единица элемента library_item должна быть библиотечным пакетом или обобщённым библиотечным пакетом.

Если defining_program_unit_name данного объявления или тела имеет parent_unit_name, то данное объявление или тело должно быть элементом library_item. Тело единицы программы должно быть элементом library_item тогда и только тогда, когда объявление единицы программы является элементом library_item. В library_unit_renaming_declaration имя (старое) name должно обозначать элемент library_item.

parent_unit_name (который может использоваться в defining_program_unit_name элемента library_item и в separate-оператор подмодуля), и каждый его prefix, не должен обозначать renaming_declaration. С другой стороны, имя, обозначающее library_unit_renaming_declaration, допускается в with_clause и других местах, где разрешено имя библиотечной единицы.

Если библиотечный пакет является экземпляром обобщённого пакета, то каждый ребёнок библиотечного пакета должен быть либо экземпляром, либо переименованием библиотечной единицы.

Ребёнок обобщённого библиотечного пакета должен быть либо сам обобщённой единицей, либо переименованием какой-либо другой дочерней единицы того же обобщённого пакета. Переименование ребёнка обобщённого пакета должно происходить только в области объявления обобщённого пакета.

Дочерний элемент родительского обобщённого пакета должен быть проинициализирован или переименован только в области объявления родительского обобщённого пакета.

Для каждого объявления или переименования обобщённой единицы в качестве ребёнка некоторого родительского обобщённого пакета существует соответствующее вложенное объявление в каждом экземпляре родителя. Это объявление видно только в области with_clause, который упоминает обобщённую дочернюю единицу.

Библиотечная подпрограмма не должна перезаписывать примитивную подпрограмму.

Определяющее имя функции, являющейся единицей компиляции, не должно быть operator_symbol.

subprogram_renaming_declaration, являющаяся library_unit_renaming_declaration, является переименованием как объявлением, а не переименованием как телом.

Существует два типа зависимостей между единицами компиляции:

Элемент library_item семантически зависит от своего родительского объявления. Подмодуль зависит семантически от своего родительского тела. Тело библиотечной единицы library_unit_body семантически зависит от соответствующего объявления library_unit_declaration, если оно есть. Единица компиляции семантически зависит от каждого элемента library_item, упомянутого в with_clause единицы компиляции. Кроме того, если данная единица компиляции содержит ссылку на атрибут attribute_reference типа, определённого в другой единице компиляции, то данная единица компиляции семантически зависит от другой единицы компиляции. Отношение семантической зависимости транзитивно.

Примеры библиотечных единиц:

Каждый из вышеперечисленных library_itemов может быть передан компилятору по отдельности.