ГОСТ Р ИСО 10303-41—2022
IF relation.relating_item IN relatives THEN
RETURN (FALSE);
END_IF;
x := QUERY(edi <* bag_to_set(USEDIN(relation.relating_item,
’EXTERNAL_REFERENCE_SCHEMA.’+
’EXTERNALLY__DEFINED_ITEM_RELATIONSHIP.’ + ’RELATED_ITEM’)) |
specific_relation IN TYPEOF(edi));
REPEAT i := 1 TO HIINDEX(x);
IF NOT acyclic_externally_defined_item_relationship(x[i],
relatives + relation.relating_item, specific_relation) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE);
END_FUNCTION;
(*
Определения параметров:
relation — (входной) проверяемый экземпляр представляющего отношение между элементами,
имеющими внешние определения, объекта externally_defined_ item_relationship;
relatives — (входной) набор представляющих элементы, имеющие внешние определения, объек
тов externally_defined_item. Функция проверяет, есть ли среди данного набора экземпляры, играющие
роль атрибута relating_item объекта externally_defined_item_relationship, играющего роль параметра
relation;
specific_relation — (входной) полное квалифицированное наименование подтипа представляю
щего отношение между элементами, имеющими внешние определения, объекта externally_defined_
item_relationship.
*)
END_SCHEMA; -- external_reference_schema
(*
15 Схема Group (группа)
15.1 Общие положения
Предметом схемы group_schema является определение групп элементов. В настоящем разделе
с помощью языка EXPRESS, определение которого содержится в ИСО 10303-11, определены информа
ционные требования, которые должны выполняться программными реализациями. Далее представлен
фрагмент EXPRESS-декларации, с которой начинается описание схемы group_schema. В нем опре
делены необходимые внешние ссылки.
Короткие имена объектов, определения которых содержатся в настоящей схеме, приведены в
приложении А. Однозначное определение настоящей схемы приведено в приложении В.
EXPRESS-спеиификация:
*)
SCHEMA group_schema;
REFERENCE FROM support_resource_schema-- ISO 10303-41
(label,
bag_to_set,
identifier,
text);
REFERENCE FROM basic_attribute_schema— ISO 10303-41
(get_id_value,
id_attribute,
id_attribute_select);
(*
91