ОСТ Р ИСО/МЭК 9072—1—93
- - Продолжение нотации удаленных операции
Name
Argument-value
:: = empty f
: : = empty |
Result-value
:: - empty I
Error value
•: = empty |
identifier
«ARGUMENT» value (Arg-
valuc Argument-type)
•- Ожидает поступления зиа*
- - чения типа н переменной
--«тип-аргумент» н присваи
вает его переменной «зна-
-- ченне-аргумента»
С VALUE |*191 EXPLICIT
Argument-type :: - Arg-
value>
• - Передаетокончательное
• - значение в виде явно теги-
- - рованного типа
«RESULT» value (Res-value
Result-type)
- - Ожидаетпоступления зна-
--чения типа в переменной --
«тип-результата» и приевз-- -
ивает его переменной «зна* - -
чеине-результата»
< VALUE (20) EXPLICIT
Result-type :: = Res-value>
- - Передаетокопнательное
-• значение в виде явно теги-
• - рованного типа
«ERROR» value (ERR-value
Error-type)
- - Ожидаетпоступления зна
--чениятипа в переменной
- •«тип-ошибки» и присвамва-
•- ст его переменной «значе-- -
ние-оижбки»
< VALUE |21) EXPLICIT
Error-type :: = Err-value>
- - Передастокончательное
- - значение в виде явно теги--
•рованного типа
END
- - Продолжение нотации удаленных операций следует
Рисунок 4 (Лист 4) — Формализованное
определение
типов данных
удаленных операций
18