С. 20 ГОСТ 34.973-91
DEFINITIONS
BEGIN
ТелоМодуля
END
ТелоМодуля : : = СпнсокПрнсвоений I
Пусто
СписокПрисвоекий : : = Присвоение I
СписокПрисвоений Присвоение
Присвоение : : = ПрисвоениеТнпа I
ПрисвоениеЗначсния
Примечания
1. В приложении I определяются последовательности вида «Макроопределе
ние», которые также могут присутствовать в последовательности вида «Список
Присвоений». Выражения, определяемые с помощью макроопределений, могут
быть приведены как до, так и после самого макроопределения, в рамках того же
модуля.
2. В отдельных (исключительных) случаях для использования а качестве
примеров, а также для определения типов с тегами универсального хлвсса по
следовательность вида «Тело Модуля» может использоваться самостоятельно,
а не как часть последовательности «Определение Модуля».
3. Продукции «ПрисвоениеТнпа» и «ПрисвоеннеЗначення» определяются в
разд. II.
4. ООьедянение типов данных, описываемых с помощью нотации АСН.1.
и модула необязательно определяет способ формирования из значений представ
ляемых данных поименованных абстрактных синтаксисов в целях определения
контекста представления.
9.2. «СсылкаНаМодуль», присутствующая в продукции «Опре-
делениеМодуля», называется именем модуля. Имена модулей вы
бираются таким образом, чтобы обеспечить полноту и согласован
ность всех последовательностей вида «Присвоение», присутству
ющих в составных частях «ТелоМодуля» всех последовательнос
тей вида «ОпределениеМодуля», в которых используется данное
имя модуля. Множество последовательностей вида «Присвоение»
считается полным и согласованным, если каждом содержащейся
в ней последовательности вида «СсылкаНаТип» или «СсылкаНа
Значение» соответствует в точности одна последовательность ви
да «ПрисвоениеТнпа» пли «ПрисвоеннеЗначення» соответствен
но, которые устанавливают связь между именем и соответствен
но типом или значением.
9.3. Имена модулей должны использоваться только один раз
в сфере применения определения модуля, за исключением случаев,
определенных в п. 9.4.
Прим е чание . Рекомендуется следующая форма имен модулей, опре
деленных п стандартах: