ГОСТ
Р
ИСО/МЭК 8824-93
мвол :: =
исокПрнсвоений :: —
С кмволыИзМодул я
СнмволыИзМодуля :: —
СпнсокСимволов FROM ИдентификаторМодуля
СпнсокСимволов :; =
Си
Символ. СпнсокСимволов ! Символ
Сп
СсылкаНаТил ! СсылкаНазначение
СписокПрисвоеннй Присвоение |
Присвоение
Присвоение ■:: =
ПрнсвоениеТипа ! ПриовоемиеЗначення
П р и м е ч а н и я
1 В приложении А определяются последовательности вида «Макроопреде
ление», которые также могут присутствовать п последовательности вида «Спи
еокПрисвоений». Выражения, определяемые с помощью макроопределений, мо
гут быть приведены как до, так и после самого макроопределений, в рамках то
го же модуля.
2 В отдельных (исключительных) случаях, дли использования и качестве
примеров, а также для определения типов с тегами универсального класса, пос
ледовательность вида «ТслоМодуля» может использоваться самостоятельно,
я м
как часть последовательности «ОпрсдслснкеМодуля».
3 Продукции «ПрнсвоениеТипа* и «ПрисвосниеЗначсния* определены
я
раз
деле 11.
4 Объединение типов денных, описываемых с помощью нотации ЛСН.1, и мо*
дули необязательно определяет способ формирования из значений данных пред
ставления поименованных абстрактных синтаксисов, в целях определения кон
текста представления.
5 Значение, выбранное для последовательности «ТсгяПоУмолчаннк», влияет
только на тс типы, которые явно определены в модуле. Оно не влиягт на интер
претацию типов, определенных входными ссылками
жен
6 В
)
качестве «символа» может использоваться «макроссы.тка» |см прило
ие А .
9.2 Если для последовательности «ТегнПоУмолчанню* было
ныбрано «пусто*, то подразумевается вариант «EXPLICIT TAGS*.
П р и м е ч а н и е . Смысл вариантов «EXPLICIT TAGS* н «IMPLICIT TAGS»
определяется в разделе 26.
9.3 «СсылкаНаМодуль», присутствующая в продукции «Опреде
лен неМодуля», называется именем модуля. Имена модулей выби
рают таким образом, чтобы обеспечить полноту и согласованность
всех последовательностей вида «присвоение», присутствующих в
составных частях «ТелоМодуля* всех последовательностей вида
«ОпределениеМодуля», в которых используется данное’имя моду
ля. Множество последовательностей вида «присвоение* считают
полным и согласованным, если для каждой содержащейся в ней
последовательности вида «СсылкаНаТип» или «СсылкаНаЗнзче-
22