ГОСТ Р ИСО/МЭК 8824-4-2003
{Му-Турс-2 IDENTIFIER BY my-obj-id-valuc-2) |
{Му-Туре-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 (I) examplcs(l) 123)
)
- - Это множество объектов перечисляет все возможные
- - пары значений и ндентификагоров-типа для типа "экземпляр-из’’.
- - Множество объектов используется как фактический параметр
- - определения парамстризированното абстрактною синтаксиса.
My-Bodv-Types MHS-BODY-CLASS ::*=>{
{Му-First-Type IDENTIFIED BY my-firet-obj-id) |
{My-Sccond-Typc IDENTIFIED BY my-sccond-obj-id)
)
my-mcssagc-abstracT-syntav ABSTRACT-SYNTAX : : ®
message-abstract-syntax {{My-Body-Types)}
ПРИЛОЖЕНИЕ В
(справочное)
Сводка нотаций
Следующие элементы определены в ГОСТ Р ИСО/МЭК 8824-1 и используются в настоящем стандарте:
typereference
valuercfercnce
-г
т
„ It
Следующие элементы определены в ГОСТ Р ИСО/МЭК 8824-2 и используются в настоящем стандарте:
objcctclassrcfcrencc
object reference
objcclsctrefcrencc
Следующие продукции определены в ГОСТ Р ИСО/МЭК 8824-1 и используются в настоящем стандарте:
DefinedType
DcfincdValuc
Reference
Type
Value
ValucSct
Следующие продукции определены в ГОСТ Р ИСО/МЭК 8824-2 и используются в настоящем стандарте:
DcfincdObject Class
DefinedObject
Dc fincdObjcct Set
ObjectClass
13