ГОСТ Р ИСО 10303-43-2002
Примечания
1 Тип ланных объекта global_unit_assigncd_context и подтип reprcsentalion eontext определены в
ИСО 10303-41.
2 Тип данных объекта measure_rcpresentalion_iteni. определенный в ГОСТ Р ИСО 10303-45. является
элементом представления, устанавливающим определенную величину и единицу ее измерения.
EXPRESS-ciicutubnKamm
*)
ENTITY vaIue_representationJtem
SUBTYPE OF (representationjtem);
value component: measure value;
WHERE
WR1 : SIZEOF (QUERY (rep < 4 usingsrepresentation (SELF) |
NOT (*MEASU RE_SCHEMA.GLOBAL_UNIT_ASSlGNED_CONTEXT
IN TYPEOF (rep_context_of items)
) )) = 0;
END_ENT1TY;
Г
Щ ц ш ш ^ а д ш й т
valuc_component — значение элемента представления, выраженное в единице измерения, за
данной в объекте global_unit_assigned_eontext.
Ф ш ш ь ш к у т и ш е т к
WR1 — каждый объект value_representation_item должен быть элементом объекта representation,
атрибут context_of_items которого ссылается на экземпляр объекта representation_context, являющнй-
ся объектом global_unit_assigned_context, или входить в определение соответствующего объекта
representationjtem.
НцЬор.ма.тыкк упкшццш й
IP1 — если объект value_representation_item является элементом нескольких объектов repre
sentation. в каждом представлении (representation) должна быть указана одна и та же единица измерения
либо посредством ссылки на единый объект global_unit_assigned_context. либо ссылками на разные
экземпляры объекта global unit assigned context. определяющие единую единицу измерения.
4.5 Определения функций представления
4.5.1 Ф у н к ц и я a c y c l i c _ m a p p e d _ r e p r e s e n t a t i o n
Функцию acyclic_mapped_representation устанавливают, если заданный объект mappcdjtem
является самоопределяемым на основе отображения объекта representation, содержащего данный
объект. Данная функция рекурсивно проверяет атрибуты mapped_representation и mapped_repre-
sentation.items любых экземпляров объекта mappcdjtem или rcpresentationjtem, обращающихся к
объекту mappcdjtem, могущему самоопределять соответствующую ссылку.
Функция возвращает значение TRUE, если рассматриваемый исходный объект repre
sentationjtem не является самоопределенным. и FALSE —в противном случае. Данная функция
имеет тип BOOLEAN.
Примечание —Вданной функции использованы ограничения для объекта mappedJtem (см. 4.4.7).
LXrKLSS-i’iKUHtknKamiH
•)
FUNCT ION acyclic.mapped .representation
(parentjet : SET OF representation;
children_set: SET OF representationjtem : BOLLEAN;
LOCAL
x. v : SET OF representation item;
END LOCAL
— Определяют подмножеством childrenje t, которым являются mappedjtems
x ; = QUERY (z < * childrenje t | ’REPRESENTATIONSCHEMA.MAPPEDJTEM’
IN TYPEOF (z);
— Определяют наличие элементов в подмножестве
IF SIZEOF (х) > 0 THEN
— Проверяют каждый элемент набора (множества)
19