ГОСТ Р ИСО 10303-22-2002
Нс<1м>рмальное Viисржлснис
1Р1 —объект dcfinedjype. на который дана ссылка в enumeration^) pcnamc. должен быть разрешен по
средством конструкции TYPE всхеметак, чтобы он мог иметьв качестве значения атрибутаdefinedtype.domain
тип cnumcration_type.
9.4. II О б ъ е к т aggregateJnstance
Объект aggregateJnstance является экземпляром aggregatejype.
l£XPRESS-cneund)HKaunH
*>
ENTITY aggregate instance
ABSTRACT SUPERTYPE OF (ONEOF(unoixlered collection, ordered_collection));
END ENTITY;
C
9.4.12 О б ъ е к т unordered_collection
Объект unordered_collection является объектом aggregateinstance. представляющим собой эк
земпляр типа мультимножества или набора (bag или set).
EXPRESS-eneumbnKannH
f)
ENTITY unordered collection
ABSTRACT SUPERTYPE OF (ONEOF(set_instance, bagjnstance))
SUBTYPE OF (aggregate instance);
END_ENTITY;
C
9.4.13 О б ъ е к т setjnstance
Объект set_instance является объектом unordered_colIectlon, представляющим собой экземпляр
типа набора (set). Атрибуты setjnstance описаны в настоящем стандарте, но соответствующая
EXPRESS-спеиификаиня отсутствует, так как нет необходимости в их реализации.
EXPRESS-cneundniKaiiHM
f)
ENTITY setjnstance
SUBTYPE OF (unordered collection);
END ENTITY;
Г
Пр и м е р 13 —Ниже описана примерная EXPRESS-спсцификация функциональных возможностей,
необходимыхдля экземпляра набора.
ENTITY setjnstance
SUBTYPE OF (unordcrcd_collcction):
set_dcfinition: sct_typc;
contents: SET |0:?|OF primitive
ENIDENTITY;
Определения атрибутов
set_definition —схема словари. оиредсляюшаи
Ha5t»p;
contents —значения в наборе.
9.4.14 О б ъ е к т bagjnstance
Объект bagjnstance является объектом unordered_coI!ection, представляющим собой экземпляр
мультимножества. Атрибуты bagjnstance описаны в настоящем стандарте, но соответствующая
EXPRESS-спеиифнкация отсутствует, так как нет необходимости в их реализации.
EXPRESS-enennd>HKaunM
*>
ENTITY bag instance
SUBTYPE OF (unordered_collection);
END ENTITY;
C
Пр и м е р 14 —Ниже описана примерная EXPRESS-спсцификация функциональных возможностей,
необходимыхдля экземпляра мультимножества.
ENTITY bagjnstance
SUBTYPE OF (unordered_collcction);
3
-
1
-
140
?
37