ГОСТ Р ИСО МЭК 9072-1-9»
- - Продолжение нотации удаленных операций
- Макроопределения операций
OPERATION MACRO
BEGIN
TYPENOTATION
VALUE NOTATION
Argument
Result
ResultType
Errors
LinkedOperations
ErrorNatnes
ErrorLisl
Error
LinkedOperalionNarues
OperationList
Operation
:: -■=Argument Result Errors
LinkedOperations
: : - value (VALUE CHOICE {
JocalVaiue INTEGER,
globalValue OBJECT
IDENTIFIER})
: : " «ARGUMENT» N’amedType |
empty
: : —«RESULT* RcsuItType | empty
:: ■= NanietlType | empty
•: ^ «ERRORS* <(» ErrorNaines «)»
| empty
; : = «LINKED* «{» LinkedOpera-
(ionNamcs *}* | empty
:: <= ErrorList | empty
:: — Error | ErrorList «,» Error
: : = value(ERROR)-• должен
- - указать значение ошибки
I type -- должен указать тип
- - ошибки, если ни одно
значение ошибки не
- определено
:: — OpcrationList | empty
:: = Operation | OperationList «,»
Operation
value(OPERATION) --дол
• - жен указать значение оши-
• - бкн
| type • •должен указатьтип
- - операции, если ни ол*
•-но значение операции
- - не определено
END
-- Продолжение нотации удаленных операций следует
Рисумо* ] (.4пег 5) — Формализованное определите типов данных
удаленных операций
I!)