Справочное руководство по языку Ада-83


Компилируемые модули библиотечные модули


Текст программы может подаваться на вход компилятора в виде одной или нескольких компиляций. Каждая компиляция представляет собой последовательность компилируемых модулей.

компиляция ::= (компилируемый-модуль)

компилируемый-модуль ::= спецификатор-контекста библиотечный-модуль | спецификатор-контекста вторичный-модуль

библиотечный-модуль ::= описание-подпрограммы | описание-пакета | описание-настройки | конкретизация-настройки | тело-подпрограммы

вторичный-модуль ::= тело-библиотечного-модуля | субмодуль

тело-библиотечного-модуля ::= тело-подпрограммы | тело-пакета

Говорят, что компилируемые модули программы принадлежат

программной библиотеке.

Компирируемый модуль определяет библиотечный модуль или вторичный модуль. Вторичный модуль — это раздельно компилируемое соответствующее тело библиотечного модуля или субмодуль другого компилируемого модуля. Обозначением раздельно компилируемой подпрограммы (библиотечного модуля или субмодуля) должен быть идентификатор. В программной библиотеке простые имена всех библиотечных модулей должны быть различными идентификаторами.

Результат компилирования библиотечного модуля состоит в том, чтобы определить (или переопределить) его как модуль программной библиотеки. По правилам видимости каждый библиотечный модуль рассматривается как описание, приведенное непосредственно внутри пакета STANDARD.

Результат компилирования вторичного модуля состоит в том, чтобы определить тело библиотечного модуля или в случае субмодуля соответствующее тело программного модуля, описанного внутри другого компилируемого модуля.

Тело подпрограммы в качестве компилируемого модуля рассматривается как вторичный модуль в том случае, если программная библиотека уже содержит библиотечный модуль, который является подпрограммой с тем же именем. В противном случае оно рассматривается одновременно и как библиотечный модуль, и как соответствующее этому библиотечному модулю тело (т.е. как вторичный модуль).

Компилируемые модули одной компиляции транслируются в заданном порядке.




Начало  Назад  Вперед



Книжный магазин