ГОСТ Р ИСО/МЭК 4072-1-93
• Продолжение нотации удаленных операций
Error-value:: = empty | «ERROR» value (ERR-value
Error-type)
- Ожидает поступления зна--
•чеиня гипа и переменной -
- «тня-ошнбки* и приснанпа--
- ст его переменной «значе-- •
ит’-ошиОкп»
С VALUE f18| EXPLICIT
Error-type : : = Err-value>
- - 11ередаетокончательное
- - мпчснис в веде явно тегн--
•рованного типа
• - Макроопределения операций-развязки
UNBIND MACRO::
ЯЛ
BEGIN
TYRENOTATION :: -= Argument Result Errors
VALUE NOTATION :: Argument-value | Result-value |
Error-value
Argument
::
=- empty j
Result
::
= empty 1
Error
::
- empty |
«ARGUMENT» Name type
(Argument-type)
- - Ожидаетпоступления лю--
- Гюго типа ЛСН.1 и ирисяэ-- -
ивает его переменной «тип-• -
аргумента»
«RESULT* Name type (Result-
type)
• -Ожидает поступлениялю-
—бого типа ДС1Г1 и присван--
•иает его переменной «тип
•результата»
«UNBIND-ERROR» Name type
(Error-type)
"Ожидает поступления лю-
. -боРО типа АСп.1 и присван-
- • вает его переменной «гнп-
- - ошибки»
END
- •Продолжение нотации удаленных операций следует
Рисунок I (.Паст 3) — Формализованное определение типов данных
удаленных операций
17