Н. Джехани - Язык Ада (1988) (1160771), страница 103
Текст из файла (страница 103)
В программной библиотеке простые имена всех библиотечных модулей должны быть различными идентификаторами. Результат компилирования библиотечного модуля состоит в том, чтобы определить (или переопределить) его как модуль программной библиотеки. По правилам видимости каждый библиотечный модуль рассматривается как описание, приведенное непосредственно внутри пакета ВТАМ ОДНО.
Результат компилирования вторичного модуля состоит в том, чтобы определить тело биб. лиотечного модуля или в случае субмодуля соответствующее тело программного модуля, опи. санного внутри другого компилируемого модуля. Тело подпрограммы в качестве компилируемого модуля рассматривается как вторичный модуль в том случае, если программная библиотека уже содержит библиотечный модуль, ко.
торый является подпрограммой с тем же именем. В противном случае оно рассматривается одновременно и как библиотечный модуль, и как соответствующее этому библиотечному модулю тело (т.е. как вторичный модуль). Ст я шмы и ль тат аомпиля ии 415 Компилируемые модули одной компилвции транслируются в заданном порядке. Относяща. яся ко всей компиляции прагма должна помещаться перед первым компилируемым модулем компиляции. Подпрограмма, являющаяся библиотечным модулем, может использоваться в качестве главной программы в традиционном смысле.
Главная программа выполняется так, как будто она вызвана некоторой внешней задачей, средства инициализации этого выполнения языком не предписаны. Реализация может предъявить определенные требования к параметрам и ре. зультату(если он есть) главной программы (эти требования должны быть приведены в прило. жении Р). Каждая реализация должна разрешать задание в качестве главной программы процедуры без параметров. Любая главная программа должна быть подпрограммой — библиотеч.
ным модулем. Прииечание. Простая программа может состоять из одного компилируемого модуля. Компиляция может не содержать ни одного компилируемого модуля, например ее текст может состоять из одних прагм. Обозначение библиотечной функции не может быть знаком операции, но для переименования библиотечной функции в операцию допускается использование описания переименова. ния.
Две библиотечные подпрограммы должны иметь различные простые имена и потому не могут быть совмещены друг с другом. Однако описания переименования могут определить совмещенные имена для таких подпрограмм; кроме того, с библиотечной подпрограммой мож. но совмещать локально описанную подпрограмму. Так как библиотечные модули рассматриваются как описания, приведенные непосредственно в пакете ЗТАМОАЙО, то для библиотечного модуля Е может быть использовано расширенное имя ЗТАМОАВ0.). (если только имя ЗТАМОАВО не скрыто).
Ссылки: библиотечный модуль 10.6, видимость 8.3, должно 1.6, допустимо 1.6, задача 9, знак операции 6.1, идентификатор 2.3, имя 4.3, конкретизация настройки 12.3, локальное описание 8.1, находится непосредственно в 8.1, окружение 10.4, операция 4.5, описание 3.1, описание настройки 12.1, описание пакета 7.1, описание переименования 8.6, описание подпрограммы 6.1, пакет ЗТАМОАЙО 8.6, параметр подпрограммы 6.2, подпрограмма 6, прагма 2.8, программный модуль 6, простое имя 4.1, процедура 6.1, скрытие 8, совмещение 6.6, 8.7, соответствующее тело 10.1.1, спецификатор контекста 10.1.1, тело пакета 7.1, тело подпрограммы 6.3, Указывать 6.1.
10.1.1. СПЕЦИФИКАТОРЫ КОНТЕКСТА. СПЕЦИФИКАТОРЫ СОВМЕСТНОСТИ Для указания библиотечных модулей, имена которых используются в компилируемом модуле, служит спецификатор контекста. спецификатор контекста::= (спецификатор совместности (спецификатор использования)) спецификатор совместности::= ш!Я простое имя модуля (, простое имя модуля); Имена в спецификаторе контекста должны быть простыми именами библиотечных модулей. В спецификаторе совместности допустимы простые имена любых библиотечных модулей. В спецификаторе использования допустимы простые имена только тех библиотечных пакетов, которые указаны в предшествующих спецификаторах совместности данного спецификатора контекста.
В спецификатора контекста недопустимы простыв имена, введенные описанием переименования. Спецификаторы совместности и использования в спецификаторе контекста библиотечно. го модуля применяются к этому библиотечному модулю и ко вторичному модулю, который определяет соответствующее тело (независимо от того, повторен ли такой спецификатор для вторичного модуля или нет). Аналогично для компилируемого модуля спецификаторы совмест. ности и использования в спецификаторе контекста применяются к этому модулю и к его суб.
модулям (если они есть). Библиотечный модуль, упомянутый в спецификаторе совместности, примененном к компилируемому модулю, видим непосредственно внутри этого компилируемого модуля, исключая случаи его скрытия; этот библиотечный модуль видим как описанный непосредственно в пакете ЗТАМОАВО (см. 8.6). Спецификаторы совместности задают зависимости между компилируемыми модулями, т.е, компилируемый модуль зависит от других библиотечных модулей, упомянутых в спецификаторе контекста. Зависимости между модулями учитываются при определении допустимого 418 Раааа 10 порядка компиляции (и перекомпиляции) компилируемых модулей (см.
равд. 10.3), а также при определении допустимого порядка предвыполнения компилируемых модулей (см. равд. 10.5). Примечание. Внутри компилируемого модуля видимы библиотечные модули, упомянутые в спецификаторе совместности (исключая случаи их скрытия), следовательно, они могут ис. пользоваться как соответствующие программные модули. Так, в компилируемом модуле имя библиотечного пакета может быть дано в специфнкаторе использования и служит для фор-. мирования расмиренных имен; библяотечные подпрограммы можно вызывать; можно описать конкретизации библиотечного настраиваемого модуля. Правила для спецнфикаторов совместности дают одинаковый результат как при упоминании имени библиотечного модуля один или несколько раз, в различных спецификаторах совместности, так и внутри заданного спецификатора совместности. Пример !. Главная программа.
Ниже приведен пример главной программы, состоящеи из одного компилируемого модуля — процедуры печати вещественных корней квадратного уравнения. Предполагается, что в программной библиотеке уже содержится предопределенный пакет ТЕХТ 1О и заданныи поль. зоватвлем пакет ЛЕАЛА ОРЕНАТ1ОМЗ (содержащий определения типа ЛЕАЕ и пакетов ВЕАЕ Ю и ЛЕАЛ РОМСТЮМЗ). Такие пакеты могут быть использованы и другими главными про. граммами. итал ТЕХТ Ю. ЯЕА1 ОРЕНАТЮМВ; иве НЕАь ОРЕНАТ10МВ; в~ввали|в ООАОНАТ(С ЕООАТЮМ 1 ° А,В,С,О:НЕАЫ ивв НЕА| Ю, — Обеспечивает прямую видимость ОЕТ и РОТ для НЕАЬ ТЕХТ Ю, — обеспечивает прямую видимость НЕУЧ ММЕ и РОТ для строк НЕАЕ РОМСТ<ОМЗ; — обеспечивает прямую видимость функции ЗОЛТ Ьва|и ОЕТ<А); ОЕТ(8); ОЕТ1С|| 0:= 8*в2 - 4.0*Авс< Я 0 < 0.0 (Ьвв РОтря ввыв у яооы. Х в|ив РОТГНвв| Ноо|в; Х! *11 РОТ((-В - ЗОНТ(0))7<2.0вА))1 РОТЕ Х2 = "); РОТЕ-В в ЗОНТ(О)И2.0*А)); вил В; МЕУУ ОМЕ; виЬ ООАОНАТ|С ЕООАТЮМ; Примечание к примеру.
В спецификаторах совместности компилируемого модуля надо упоминать имена только тех библиотечных подпрограмм или пакетов, видимость которых дей. ствительно необходима внутри модуля. Нет необходимости (и не следует] упоминать имена других библиотечных модулей, используемых внутри модулей, перечисленных в этих специфи. кагорах совместности, кроме тех, которые используются непосредственно в данном компили. руемом модуле. Например, в теле пакета ЛЕАЛ ОРЕНАТЮМЗ могут потребоваться некоторые элементарные операции, определенные в других пакетах. Но эти пакеты не надо упоминать в спецификаторе совместности процедуры ООАОВАТ<С ЕООАТЮМ, так как в ее тепе элементарные операции не вызываются непосредственно.
Ссьикн| библиотечный модуль 10.1, видимость 8.3, вторичный модуль 10.1, главная программа 10.1, должно 1.6, допустимо 1.6, имя 4.1, компилируемый модуль 10.1, настраиваемое тело 12.2, настраиваемый модуль 12.1, непосредственная видимость 8.3, описание пакета 7.1, описание подпрограммы 6.1, пакет 7, пакет ЗТАМОАЯО 9.6, предвыполнение 3.9, программный модуль 6, простое имя 4.1, процедура 6.1, скрытие 8.3, спецификатор использования 8.4, субмодуль 10.2, тело пакета 7.1, тело подпрограммы 6.3, тип З.З, экземпляр 12.3. 10.1.2.
ПРИМЕРЫ КОМПИЛИРУЕМЫХ МОДУЛЕЙ Компилируемый модуль может быть расчленен на несколько компилируемых модулей. На. пример, рассмотрим следующую программу: Ргивввыв РНОСЕВВОН М ВМАИ.; вива|ив|; 20; тОТАь . '|мтеОен:= 0; Ст п мы и льтвт ко»пиля и» 427 рвсзавв 5ТОСК 1 ° 0М!т: сомме:= (ООО; ТАВЬЕ 7 а1тау (1 .. 0М(Т) еу !МТЕОЕВ; рпювйие ЯЕЗТАВТ; спе 5ТОСК; Расваее Ьсеу ЗТОСК Ь рсосвйпе ЙЕЗТАВТ Ь Ьвуп (аг М )п 1 .. ЫМ(Т 1аор ТАВ1.Е(й):= М; впе 1аор; впд; Ьауп ВЕЗТАЙТ; епо ВТОСК; рюасвйиа 0РОАТЕ(Х: (йТЕВЕН) 1 ° нве ЗТОСК; Ьвем ТАВ1.Е(Х) 7= ТАВЬЕ(Х) + ЗМАЬЬ впв 0РОАТЕ; Ьвуп 5ТОск.леЗтАнт; -- лервинициализация ТАВЕЕ епе РВОСЕ850Я; Приведенные ниже три компилируемых модуля определяют программу с результатом, эквивалентным результату предыдущего примера (пунктирные линии между модулами напоминают, что они не обязаны составллть единый текст). ПРимер 2 Несколько компилируемых модулей.
расьаее ЗТОСК Ь ПМ)Т: сапа(ам: 1000; ТАВьЕ 1 мтау (1 .. 0М(Т) Ы )МТЕОЕВ; Рюсввнсе ЙЕ5ТАНТ; апе ЗТОСК; Расвврв Ьаеу ЗТОСК Ь Рюсаенсе ЯЕЗТАЯТ Ь Ьев(п (от М )п 1 ° 0М(Т Ьор ТАВ1.Е(М):= М; еав Ьар; апв; Ьае)п ЯЕЗТАВТ; впе ЗТОСК; нпй ЗТОСК; Рюсайие РВОСЕЗЗОй Ь ЗЬАьь 1 аопемю 1 201 ТОТА1.: \МТЕОЕВ: 0; ргаса1мсе 0РОАТЕ(Х: (МТЕОЕН) Ь нае ЗТОСК; 14-797 Глава 10 418 ТА8ЬЕ(Х): ТАВ1.Е00 е 8МА(Щ еяе 0РОАТЕ; веем Зтбск,йе8тАЙт; — переинициапизация.тАвье аеиг РЙОСЕ880й; Заметим, что в последней версии примера в пакете 8ТОСК невидимы внешние идентификаторы, отличные от предопределенных (в пакете 8ТАНОАЙО).
В частности, в нем не используются идентификаторы ВМА(.'ь и ТОТА(., описанные в процедуре РЯОСЕ880Й; в противном случае пакет ВТОСК нельзя выделить из процедуры РЯОСЕ880Й, как это сделано выше. С другой стороны, процедура РЙОСЕ880Й зависит от пакета 8ТОСК и упоминает его в спецификаторе совместности. Поэтому пакет ВТОСК можно использовать в расширенном имени и спецификаторе использования. Эти три компилируемых модуля могут быть организованы как одна или несколько компиляций. Например, возможно объединение в одной компиляции спецификации и тела пакета в указанном порядке.
Ссылки: видимость 8.3, идентификатор 2.3, компилируемый модуль 10.1, описание 3.1, пакет 7, пакет ВТАНОАЙО 8.6, программа 10, специфнкатор использования 8.4, спецификатор совместности 10.1.1, спецификация пакета 7.1, тело пакета 7.1. 102. СУБМОДУЛИ КОМПИЛИРУЕМЫХ МОДУЛЕЙ Субмодули используются для раздельной компиляции соответствующего тела программно. го модуля, описанного в другом компилируемом модуле. Этот метод разделения программы позволяет разрабатывать программу иерархически. след тела::= Спецификация подпрограммы (в зерага(е; рас)гайе Ьобу простое имя пакета )в зерага(е; (авй Ьобу простое имя задачи !в зерага(е; субмодуль с зерага(е (имя родительского модуля) соответствующее тело Использование следа тела в качестве тела программного модуля (подпрограммы, пакета, задачного модуля или настраиваемого модуля) допускается, только если след тела помещен непосредственно в тепе библиотечного пакета или в разделе описаний некоторого компилируемого модуля.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
