ГОСТ 34.973-91 С 55
образующие выражение «Значение», соответствующее определению из п. 12.6.
того типа, который задан выражением «Макротип»
1.3.13. Выражение «value (ЛокальнаяСсылкаНаЗначенне МакроТип)* опи
сывает последовательности знаков, образующих выражение «Значение», соот
ветствующее определению из п. 12.6, того типа, который задан выражением
«МакроТип», и, кроме того, присваивает этот тип «ЛокальнойСсылкеНаТкп».
Впоследствии той же «ЛокальнойСсыдксНаТип* может быть присвоен другой тип,
1.3.14, Вариант «value (VALUE МакроТип)» описывает последовательности
знаков, образующих выражение «Значение» (соответствующее определению га п.
12.6), того типа, который задай выражением «МакроТип», но. кроме, того,
возвращает данное значение в качестве значения, заданного данным использо
ванием макрообозначеннй. Тип возвращаемого значения задается выражением
«МакроТип».
1.3.15 При синтаксическом анализе любого правильного использования мак-
р«обозначений должно осуществиться в точности одно присвоение значения
выражению «VALUE» (описанному в пп. 1.3.14 или 13 16 приложения 1).
1.3.16. Выражение«ВложснныеОпрсдсленни»определяется следующими
продукциями;
ВложенноеОпределение : —
<СписокВложекныхОпределений >
СпнсокВложенныхОпределений . . -=
ВложенноеОпределение .
СпнсокВложенныхОпределений 1
ВложенноеОпределение
ВложенноеОпределение : : —
ЛокальносПрневоеиисТнпа 1
ЛокальвоеНрисвосииеЗиачеиня
ЛокалыюсПрисвоеииеТипа—
ЛокальнаяСсылкаНаТиа
« ; ; —»
МакроТип
ЛокадьноеПрисвоениеЗначеикя : : =
ЛокальнаяСсылкаНаЗначенне
МакроТип
« : : —*»
МакроЗначсиис
МакроЗначение ; : —
Значение I
ЛокальнаяСсылкаНаЗначенне
Присвоение «МакроТипа» «ЛокальнойСсылкеНаТип*. а также «МакроЗиа-
чения» «Лока.тьнойСсылксНаЗначсние» во «ВложеиныхОпредслениях» осущест
вляется при синтаксическом анализе использования макрообозиаченич при об
работке «ВложенныхОпредолений» и сохраняется до переопределения «Лпкалъ-
нойСсылкнНаТип» или «ЛокальнойСсылкнНаЗначенне».