ГОСТ Р ИСО 10303-45—2012
4.5 Определение функции для схемы material_property_definition_schema
4.5.1 Функция acyclic_proporty_definition_relationship
Функция acyclic_proporty_definition_reiationship определяет, являются или нет определения
заданных характеристик самоопределяемыми с помощью связей, установленных в указанном объекте
property_definition_relationship. Данная функция может использоваться для оценки объекта
property_definition_relationship или любого его подтипа.
П р и м е ч а н и я
1 Заданнымтипомобъектаproperty_deflnition_relatlonshipявляетсялибосамобъект
property_deflnltion_relatlonshlp. либо один из его подтипов. Данная функция возвращает значение TRUE
(ИСТИНА), если ни один из элементов аргумента relatives не присутствует в аргументе relation, заданном в аргу
менте speciflc_relation. В противном случае функция возвращает значение FALSE (ЛОЖЬ).
2 Данная функция не используется в схеме m aterlal_property_def!nltlon_schem a. Она определена а насто
ящем стандарте, потому что другие стандарты комплекса ИСО 10303, использующие объект product_definitlon_
relationship, определяют правила, в которых присутствует данная функция.
EXPRESS-спеиификация:
*)
FUNCTION acyclic_property_definition_relationship (relation:
property_definition_relationship, relatives:SET[1:?] OF
property_definition, specific_relation: STRING) :LOGICAL:
LOCAL
x:SET OF property_defmition_relationship;
END_LOCAL;
IF relation.relating_property_definition IN
relatives THEN
RETURN (FALSE);
END IF;- - IN is based in instance equality
x :=QUERY (pd <* bag_to_set (USEDIN
(relation. relating_property_definition,
’MATERIAL_PROPERTY_DEFINITION_SCHEMA.’+
’PROPERTY_DEFINITION_RELATIONSHIP.’ ♦
’RELATED_PROPERTY_DEFINITION’)) |
specific_relation IN TYPEOF (pd));
REPEAT I:= 1TO HIINDEX(x); - - pre-checked loop
IF NOT acyclic_property_definition_relationship
(XP),
relatives +relation.relating_property_defmition.
specific_relation)THEN
RETURN(FALSE);
END IF;
END_REPEAT;
RETURN(TRUE);
END_FUNCTION;
r
Определения аргументов
relation — (входной) объект property_definition_relationship, которыйдолжен быть проверен;
relatives — (входной) множество объектов property_definitlon. которое анализируется данной
функцией в параметре relating_property_deflnition аргумента relation;
specific_relation — (входной) полностью определенное наименование подтипа объекта
property_definition_rolationship.
*)
END_SCHEMA; -- material property_definition_schema
r
8