ГОСТ Р ИСО/МЭК 8824-4-2003

{Му-Туре-2 IDENTIFIER BY my-obj-id-value-2} |

{My-Type-3 IDENTIFIER BY my-obj-id-value-3}

}}

A.8 Пример определения множества параметризованных объектов

Тип, определенный в А.4 ГОСТ Р ИСО/МЭК 8824-3, может использоваться в определении параметризованного абстрактного синтаксиса следующим образом:

-    - PossibleBodyTypes является параметром абстрактного синтаксиса. message-abstract-syntax {MHS-BODY-CLASS: PossibleBodyTypes}

ABSTRACT-SYNTAX : : = {

INSTANCE OF MHS-BODY-CLASS ({PossibleBodyTypes})

IDENTIFIED {joint-iso-itu asnl (1) examples(l) 123}

}

-    - Это множество объектов перечисляет все возможные

-    - пары значений и идентификаторов-типа для типа “экземпляр-из”.

-    - Множество объектов используется как фактический параметр

-    - определения параметризированного абстрактного синтаксиса.

My-Body-Types MHS-BODY-CLASS : : = {

{My-First-Type IDENTIFIED BY my-first-obj-id} |

{My-Second-Type IDENTIFIED BY my-second-obj-id}

}

my-message-abstract-syntax ABSTRACT-SYNTAX : : = message - abstract-syntax {{My-Body-Types}}

ПРИЛОЖЕНИЕ В (справочное)

Сводка нотаций

Следующие элементы определены в ГОСТ Р ИСО/МЭК 8824-1 и используются в настоящем стандарте: typereference valuereference

i( .    . _ 99

“{” i( \ 99

a 99

Следующие элементы определены в ГОСТ Р ИСО/МЭК 8824-2 и используются в настоящем стандарте: objectclassreference objectreference objectsetreference

Следующие продукции определены в ГОСТ Р ИСО/МЭК 8824-1 и используются в настоящем стандарте: DefinedType DefinedValue Reference Type Value ValueSet

Следующие продукции определены в ГОСТ Р ИСО/МЭК 8824-2 и используются в настоящем стандарте: DefinedObjectClass DefinedObject DefinedObjectSet ObjectClass

13