ГОСТ Р ИСОГГС 10303-1129—2014
П р и м е ч а н и е-Для того чтобы быть уверенными, что для объектов, ссылающихся на пустой
расширяемый выбранный (SELECT) тип данных, существует хотя бы один тип разрешенных экземпляров, в
прикладных модулях, использующих этот тип данных, требуется его расширение.
EXPRESS-спеииФикаиия:
*)
TYPE externally_versioned_item = EXTENSIBLE GENERIC_ENTITY SELECT;
END_TYPE;
<*
5.2.1.3 Тип данных version_for_plib_proporty
Выбираемый тип данных version_for_plib_property является расширением типа данных
externally_versionedJtem. В настоящем типе данных к списху альтернативных выбираемых типов
данных добавлен именованный тип externally_defined_general_ property.
EXPRESS-спеиификаиия:
*)
TYPE version_for_plib_property = SELECT BASED_ON
externally_versioned_item WITH
(externally_defined_general_property);
END_TYPE;
<*
5.2.2 Определение объектов ИММ
В настоящем пункте определены объекты ИММ для прикладного модуля, рассматриваемого в
настоящем стандарте. Ниже специфицированы объекты ИММ и их определения.
5.2.2.1 Объект externally_dofined_general_property
Объектexternally_defined_general_propertyявляетсятакимподтипомобъектов
general_property и externally_definedjtem.с помощью которого реализована концепция
External_library_property.определениекоторой данов ПЭМ. С помощью объекта
extornally_defined_general_property обозначается характеристика такой разновидности, которая
определена вне настоящего модуля ИСО 10303 или в схемах, использующих этот объектный тип
данных.
EXPRESS-спецификация:
*>
ENTITY externally_defined_general_property
SUBTYPE OF (externally_aefined_item, general_property);
END_ENTITY;
(*
5.2.3 Определение функции ИММ
В настоящем пункте определена функция ИММ для прикладного модуля, рассматриваемого в
настоящем стандарте. Ниж е специфицирована функция ИММ и ее определение.
5.2.3.1 Функция external_version_assignment_is_valid
Функция external_version_assignment_ls_valid оценивает, содержит ли атрибут items
(элементы) экземпляра объекта applied_externalJdentification_assignment. используемого для
обозначения версии, ссылки на экземпляры объектов только тех типов, которые содержатся в списке
выбора выбираемого (SELECT) типа данных externally_versionedJtem. Функция возвращает
значение TRUE (истина), если объект не используется для обозначения версии, или все экземпляры
объектов, ссылки на которые содержатся в атрибуте items, принадлежат к тем типам, которые входят в
список выбора типа данных oxternally_versionod_item или его расширений.
10