ГОСТ Р ИСО/МЭК 8824— 93
Для обеспечения этих обозначений, которые могут рассматриваться как
расширение базовой нотации ACH.I. может бить использовано следующее мак
роопределение
PAIR
MACRO :: -BEGIN
TYPE NOTATION :: -
«TYPEX»
«=»
type (Local-type-i)
— - Здесь ожидается описание любого типа
-ACH.I. которое будет присвоено
- —переменной Local-typc-l;
«TYPEY»
«■=.*
type (Local-type 2)
Здесь ожнлаетсн описание второю типа
- ACH.I. которое будет присвоено
- - переменной Local-tvpe-2;
VAU/E NOTATION : =
«(»
«.•
х
c
«X»
»
value (Local-value-1 Local-type-1)
Здесь ожидается описание значения типа.
—определяемою переменной Local-type-!,
которое будет нрисноисо переменной
«.»
Local-value-1;
« V »
t =ж»
value (Local-value-2 Local-ty|>e-2)
Здесь ожидается описание «ничеимя тина,
определяемого переменной Local-t)’pe-2,
- которое будет чрисипеио переменной
Livel
vb
.
u
-2:
< VALUE SEQUENCE (Local-type I.
Local-type-2)
: -• {Local-value-1. Local-value-2)>
Это «вложенное определение» возвращает
окончательное значение, являющееся
значением последовательности.
«)»
-- -■ состоящей из двух типов
END
В л том примере тип возвращаемого значения (в смысле базовой нотации
АСН I) нс зависит от подставляемого значения, но зависит от подставляемого
типа. В друга* случаях тип может либо полностью определяться макроопреде
лением, либо может зависеть от подставляемого значения. Отмстим, тем ис ке
йсе. что во все* случая* для определения типа возвращаемого значения следует
рассматривать продукцию «VALUE NOTATION». Продукция «TYPE NOTATION»
просто определяет синтаксис дли определения типа и устанавливает начальные
значения локальных переменных, используемых при анализе подставляемой но
тации значения.