ГОСТ Р ИСО 10303-41—2022
IF relation.relating_contract IN relatives THEN
RETURN (FALSE);
END_IF;
x := QUERY(cont <* bag_to_set(USEDIN(relation.relating_contract, ’CONTRACT_
SCHEMA.’ + ’CONTRACT_RELATIONSHIP.’ + ’RELATED__CONTRACT’)) |
specific_relation IN TYPEOF(cont));
REPEAT i := 1 TO HIINDEX(x);
IF NOT acyclic_contract_relationship(x[i], relatives + relation.relating_
contract, specific_relation) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE);
END_FUNCTION;
(*
Определения параметров:
relation — (входной) проверяемый экземпляр представляющего отношение между контрактами
объекта contract_relationship;
relatives — (входной) набор представляющих контракты объектов contract. Функция проверяет,
есть ли среди данного набора экземпляры, играющие роль атрибута relating_contract объекта соп-
tract_relationship, играющего роль параметра relation;
specific_relation — (входной) полное квалифицированное наименование подтипа представляю
щего отношение между контрактами объекта contract_relationship.
*)
END_SCHEMA; -- contract_schema
(*
10 Схема Date time (дата и время)
10.1 Общие положения
Предметом схемы date_time_schema является определение дат, как календарных, так и поряд
ковых, времени суток, сочетаний даты и времени суток и периодов времени. В настоящем разделе с
помощью языка EXPRESS, определение которого содержится в ИСО 10303-11, определены информа
ционные требования, которые должны выполняться программными реализациями. Далее представлен
фрагмент EXPRESS-декларации, с которой начинается описание схемы date_time_schema.В нем
определены необходимые внешние ссылки.
Короткие имена объектов, определения которых содержатся в настоящей схеме, приведены в
приложении А. Однозначное определение настоящей схемы приведено в приложении В.
EXPRESS-специсЬикация:
*)
SCHEMA date_time_schema;
REFERENCE FROM basic_attribute_schema— ISO 10303-41
(description_attribute,
description_attribute_select,
get_description_value);
REFERENCE FROM measure_schema— ISO 10303-41
(measure_with_unit,
time_measure_with_unit);
REFERENCE FROM support_resource_schema-- ISO 10303-41
(bag_to_set,
identifier,
label,
text);
(*
47