ГОСТ Р ИСО’МЭК 9072-1-93
Рисунок 4 (Лист 2) — Формализованное определение типов данных
удаленных операций
- - Продолжение нотации удаленных операций
Result:: - empty |«RESULT» Name type (Result-
type)
• - Ожидает поступления лю-
--fioro типа АСЙ. I и присван-
• - вает его переменной «тин-
•результата»
Error:: - empty j
«BIND-ERROR* Name type
(Error-type)
Ожидает поступления любо
-го типа ДСП Л н присваивз--
ет огопеременной «тнп-
- ошибки»
Name:: = emptyidentifier
Argument value
:: - empty«ARGUMENT» value (Arg-vr-
lne Argument-type)
-Ожидаетпоступления знч
••чения типа и переменной
- - «тип-арсученг*и прнспан-
- - вает его переменной
«зпа-- - ченне-аргумента»
< VALUE [’161 EXPLICIT
A-guin.T.! type :: - Are
value>
•• Передает окончательное
- - значение в виде явно теги-
- - роаампого типа
R
e
su
lt-val
ue:: =
e
mpty
«RESULT» value (Res-value
ResuIMvpc)
- - Ожидает поступления зна-
-чения типа и переменной
- «тип результата н нрисван-.
•вает его переменной «зна-- -
чекне-результата»
< VALUE [17| EXPLICIT
Result-type ; : = Res*value>
- - Передаетокончательное
•-значение в виде явно тегн--
• роваиного типа
END
- - Продолжение нотации удаленных операций следует
15