с. 50 ГОСТ 34.973—91
ПРИЛОЖЕНИЕ I
Обязательное
МЛКРОНОТАЦИЯ
1.1. Введение
В ЛСН.1 предусмотрен способ, с помощью «спорого пользователь АСН.1
может определить новую систему обозначений, с помощью которой он может
строить тс же типы данных, что и в АСН.1, и ссылаться на них, а также зада вать
значения эгид типов. Эта новая система обозначений определяется с по мощью
обозначения нотации ЛСН.1 «Макроопределение». «Макроопределение»
одновременно определяет как обозначения для построения типов и осуществле
ния ссылок на них, так и обозначения дли записи значений (и 6.3. содержащий
пример использовании макронотании).
С помощью «-Макроопределения» пользователь АСП.1 определяет новые
обозначения с помощью некоторого множества продукций аналогично тому, как
это делается в настоящем стандарте. Составитель макроопределения дол-
жон:
а) полностью определить синтаксис, который предполагается использовать
для определения псех типов, обеспечиваемых данным макроопределением (это
описание синтаксиса вызывается для синтаксического анализа каждый раз при
появлении в обозначении типа АСН.1 имени макроопределения):
б) полностью определить синтаксис, который предполагается использовать
для определения значений этих типов (этоописание синтаксиса вызывается
для синтаксического анализа каждый раз, когда ожидается значение чипа, опи
санною с помощью макроопределения);
в) определить в виде значений стандартных типов АСН.1 (произвольного
уровня сложности) подучающиеся в результате типы и значения для всех слу
чаев использования макрообознзчемнй для записи значений.
Конкретное использование синтаксиса, определенного с помощью макро
определении. может содержать обозначения типов и значений . заданных в
обычной нотации АСН 1 Эти типы или значения (присутствующие в конкрет ном
использовании махрообозначенпй) могут быть присвоены на время выпол нения
синтаксического анализа.вокальным ссылкам на тип или локальным
ссылкам на значение с помощью соответствующих конструкций в макроопре
делении Возможно также включение в макроопределение присвоение ссылкам
обычных определений типов АСН.1 Описанные выше присвоения активизиру
ются. когда соответствующая синтаксическая категория макроопределения со
поставляется с элементом (иди элементами), входящими в использование новой
нотации. Время их действия ограничено временем выполнения синтаксического
анализа.
При синтаксическом анализе значения, заданного с помощью макронотацин.
присвоении выполненные при синтаксическом анализе типа, продолжают быть
доступными. Синтаксический анализ обозначения типа считается логически прел-
шествующим анализу соответствующих значений.
Каждое «Макроопределение» определяет систему обозначений (синтаксис)
для определения типа н систему обозначений (синтаксис) для определения зна
чений. Тип данных АСН.1, определенный с помощью макрообоэначення типа,
может зависеть (но необязательно зависит) от макрообозмачеиии конкретного
значения, к которому относится макрообоэначснис типа. В этом отношении
использование макронотацин типа сходно с использованием выборочного типа
(«CHOICE») — тег типа в данном случае не определен. Поэтому в случаях
зависимости типа от значения ызкроногация не может быть использована там.