ГОСТ Р ИСО/МЭК 8824-93
9.9 Любой «символ» из конструкции «СимволыИзМодулм» мо
жет присутствовать в «ТелеМодуля» в конструкции «Определен-
яыйТнп» (если символ — «СсылкаНаТип») нлн «Определенное
Значение» (если символ — «СеылхаНаЗначение»). Смысл, свя
занный с этим «символом», — тот же, что и в модуле с соответст
вующим «ИдентификаторомМодуля». Если «символ» присутству
ет в одном из «присвоений» нз «СлискаПрнсвоений» (что не ре
комендуется) или присутствует в одной или нескольких конструк
циях «СнмволыИзМодудя», то он должен использоваться только в
конструкциях «ВнешняяСсылкаНаТип» или «ВнешняяСсылкаНа
Значение», в которых «СсылкаНаМодуль» совпадает с ссылкой на
модуль в конструкции «СимволыИзМодуля» (см. 9.10). Если он нс
присутствует в таких конструкциях, то он может непосредственно
входить в конструкции «ОпределенныйТип» или «Определенное
Значение».
9.10 За исключением случаев, отмеченных в 9.9. для обращения
к элементам «СсылкаНаТип» и «СсылкаНаЗначение* в модулях,
отличных от тех, где вышеупомянутые элементы были
определены,
используют последовательности вида «ВнешняяСсылкаНаТип» и
«ВмешняяСсылкаНзЗначенис», определяемые следующими продук
циями:
ВнешняяСсылкаНаТип :: —
СсылкаНаМодуль
СсылкаНаТип
ВнешняяСсылкаНаЗначенис :: *
Сс ьы каНаМодуль
СсылкаНаЗначение
10 ССЫЛКИ НА ОПРЕДЕЛЕНИЯ ТИПОВ И ЗНАЧЕНИЯ
10.1 Для задания ссылок на определения типов и значений ис
пользуют последовательности, определяемые следующими продук
циями:
ОпределенныйТип ::=*
ВнешняяСсылкаНаТип J
(СсылкаНаТип
ОпределснноеЗначение :: =
ВнешняяСсылкаНаЗначенис |
СсылкаНаЗначение
10.2 За исключением случаев, отмеченных в 9.10, варианты
«СсылкаНаТип* и «СсылкаНаЗначение» в приведенных выше про-
24