ГОСТ Р МЭК 61360-2—2013
THEN
ss + classes(nb].definition
[
1]
\a_priori_semantic_relationship
.referenced_constraints (i);
END_IF;
END_REPLAT,"
END_IF;
ItEXISTS (classesfr.b).definitior.fi]\class.its_superclass)
THEN
ss * compute_known_property_cor.strair.ts(
[с1аззезfnb].definition[1]\class.its_superclass));
END_IF;
END_IF;
ENO_REPEAT;
RETURN(s>;
END_FUNCTION; -- compute_kr.own_property_constraints
( ‘
8.4.3Функция вычисления известного ссылочного ограничения свойства (Compute_known_
referenced_property_constraint)
Функция compute_known_referencod_property_constraint вычисляет все ограничения свойства
property_constraint. импортируемыеаприорным семантическим соотношением (ар) a_priorl_semantic_
relationship, путем вычисления всех ограничений, применимых к свойству, импортированному с помо
щью атрибута ссылочных свойств reforenced_properties (из ар), определенному или унаследованному
в любом ссылочном классе (ар) referenced_class. словарное определение dictionary_definition кото
рого доступно в рассматриваемом контексте обмена.
Примечание 1— Ваприорном семантическом соотношении a_priori_semantic_relationship всеограни
чения свойств property_constraints, определенные (унаследованные) классами, на которые производится ссыл ка
атрибутом referenced_class, применяемом к свойству, импортированному с помощью атрибута referenced_
properties априорного семантического соотношения a_priori_semantic_relationship,должныбыть импортированы с
помощью своего атрибута ссылочного ограничения referenced_constraints.
Примечание 2 — Если словарное определение dictionary_definition класса, принадлежащее атрибуту
referenced_class сущности ар. не является доступным в рассматриваемом контексте обмена как сущность ар
(контекст обмена библиотеки PLIB никогда не предполагается полным), то ограничения, принадлежащие данно му
классу, не могут быть вычислены. Таким образом, результат функции compute_known_referenced_property_
constraint может быть только подмножеством ограничений, импортируемых сущностью ар.
Примечание3 — Если словарные определения dictionary_definition всех ссылочных классов
referenced_classes сущности ар доступны в рассматриваемом контексте обмена и если никакие ограничения не
представлены единственным идентификатором ограничений constraint_identifier. то функция compute_known_
referenced_property_constraint возвращает точно все ограничения, импортируемые сущностью ар.
Пример представления на языке EXPRESS:
*)
FUNCTION compute_known_referenced_property_constraints(
ар: a_priori_semantic_relationship):
SET OF property_constraint;
LOCAL
s: SET OF property_constraint[); — result
prop: SET OF property_BSU
list_to_set<ap.referenced_properties);--importedproperties
cl: SET OF class_BSU
ap.referenced_classes; --source of importation
120