ГОСТ Р ИСО/МЭК 6824—85
П Р И Л О Ж Е Н И Е А
О бязат ельное
МАКРОНОТАЦИЯ
ол зования макронотаиин)
A.I Введение
В АСН I предусмотрен способ, с помощью которого пользователь ACH.I мо
жет определить новую систему обозначений, с использованием которой он может
строить
tv
же щпы данных, что и в АСН.1. ссылаться на них, а также задавать
значении этих типов. Эта крадя система обозначений определяется с помощью
обозначения нотации ACH.I «Макроопределение». «Макроопределение» одновре
менно определяет как обозначения для построении типов и осуществления ссылок
на ни*, так и обозначения для записи значений (См. ЕЗ. содержащий пример
исп
С
ь
помощью «Макроопределения» пользователь ACH.I определяет ноиые
обозначения с помощью некоторого множества продукций, аналогично тому, как
вто делается в настоящем стандарте. Составитель макроопределения должен:
a) полностью определить синтаксис, который предполагается использовать
для определения всех типов, обеспечиваемых данным макроопределением: (зто
описание синтаксиса вызывается .для синтаксического анализа каждый раз при
появлении и обозначении типа АСН I имени макроопределения);
b
) полностью определить сннтакскс. который предполагается исподьзоеаit»
для определения значений >тих типов (это описание синтаксиса вызывается для
синтаксического анализа каждый раз, когда ожидается значение тина, описан
ного с помощью макроопределения), и
c) определить в виде значений стандартных 7ипов АСН 1 (произвольно!»
уровня сложности) получающиеся в результате типы и значения для всех слу
чаен использовании макрооболначений для заииси значений.
Конкретное использование синтаксиса, определенного с помошью макрооп
ределения, може т содержать обозначения типов и значений, заданных в обыч
ной нотации ACH.I. Эти типы или значения (присутствующие в конкретном ис
пользовании макрообозначений) могут быть логически связаны в период выпол
нения синтаксического внзлиза с локальными ссылками на тин или на значение
с помошью соответствующих конструкций в макроопределении. Можно также
встроить в макроопределение присвссвне ссылкам обычных определений типов
ACH.I. Описанные выше присвоения активизируются, когда соответствующая
синтаксическая категории макроопределении сопоставляется с •кдемсигок (или
олементами), входящими в использование новой нотации. Время их действия ог
раничено временем выполнения синтаксического анализа.
При синтаксическом анализе значения, заданного с помошью мзкроиотацки,
присвоения, выполненные при синтаксическом виализс типа, продолжают быть
доступными Синтаксический анализ обозначении тина считают логически пред
шествующим анализу соотиетствуюишх значений.
Каждое «Макроопределение» определяет систему обозначений (синтаксис)
для определения типа и систему обозначений (синтаксис) для определения зна
чений, Тип данных АСН I, определенный с помощью махрообозиачеиии типа,
может зависеть (но не обязательно зависит) от макрообозначення конкретного
.значении, к которому относится макрооботиачеиие типа В атом отношении ис
пользование .макронотацми типа сходно с использованием выборочного типа
(«CHOICE») — тег типа в данном случае нс определен. Поттому в случаях за
висимости типа от значения иакронотацкя не может быть использована там,
где
63