ГОСТ Р ИСО/МЭК 8824-М
А.3.5 Каждая «СсылкаНаПродукцию», присутствующая а «Определении
Символа» (см А.3.9), должна присутствовать в точности один ра.) я качестое
первого элемента некоторой «Продукции».
А.3.6 Каждый случай использования макрообозначения типа должен на
чинаться с последовательности знаков «Макроссылка», за которой следует одна
из последовательностей знаков, удовлетворяющих продукции «П РЕ NOTATION»
после применения всех продукций, заданных в макроопределении
А3.7 Каждый случай использования макрокоташш для записи .значения
должен быть некоторой последовательностью знаков н> множества, описанного
продукцией «VALUE NOTATION» после применения всех продукции, заданных
в макроопределении.
А.3.8 Множество последовательностейзнаков, описываемое продукцией
«TYPE NOTATION* или VALUE NOTATION», определяется соответствующим
«СпискомВаривнтовМакро». имеющим вид:
СаксокВариамтопМакро ; ; =
Макро»
роопр делении опре еляю ся сле ующим образом:
Т
ВариантМакро ;
СиисокВариакгоаМакро « ; » ВарнаигМакро
Множество последовательностей знаков, описываемое продукцией «Спи-
сокВариантоаМакро», состоит из множеств последоиательнОстсй знаков, описы
ваемых
.
продукциями«ВариангМакро»,входящими в «СиксокВариаитов-
мак
А.3.9
е
Обозначения
д
для
т
записи
д
последовательности «ВариантыМакро» в
ВариантМакро .: = СписохСимяолов
СинсокСимволоа :: —
Символьный Элемент ;
СиисохСимволов Символьный Элемент
Символьный Элемент : : *-
ОарсделсниеСимвола ,
В.чожснноеОпределение
МакроТип : ■ЛокальнояСсылкаНаТии
ип
, ОпрсдеяеииеСи мвола : - -*■
«л-строка*;
СсылкаНаПродукаиуо
«tiring»
«identifier»
-«number*
«imply»
tyjK‘*
lypi (ЛокадьнаяСсылквМаТип)|д
value (МахроТйп)
value (ЛокальнаиСсылкаИзЗначснмс МакроТип);
value (VALUE МакроТип)
1
Примечание. В макроопределении выражение «МакроТип*. определен
ное п этом же макроопределении, может присутствовать в любом месте, где в
соответствии с правилами нотации ACH.I требуется выражение «Тип».
Множество последовательностей .знаков, опнсывамое продукцией «Варнаиг-
Макро». образуется последовательным соединением любой из строк знаков,
описываемой первой юследовательиост».ю «ОпределенкеСкмаола» с любой из
строк знаков, описываемой второй последовательностью «ОпрсдсленнеСимвола»
и так далее, вплоть до последнею «ОиределеиияСимвола» из «СнискаСнмволов».
67