ГОСТ Р ИСО 13584-42—2012
,referenced_constraints [i];
ENDJF;
END_REPEAT;
ENDJF;
IF EXISTS(classes(nb].definition[1]\class.its_superctass)
THEN
s: =s + computeJuiown_property_constraints(
[classes(nb].definition[1]\class.its_superdass]);
END_IF:
ENDJF:
END_REPEAT;
RETURN(s);
(
END_FUNCT10N; — compule_knov/n_property_constraints
F.6.3.2
*
Функция вычисления извесгного ссылочного ограничения свойства (Compute_known_referenced_
property_corestraint)
Функция computeJmown_referenced_property_constraint вычисляет все ограничения свойства property_
constraint, импортируемые априорным семантическим соотношением (ар) a_priori_semantic_relationship, путем
вычисления всех ограничений, применимых к свойству, импортированному с помощью атрибута ссылочных свойств
referenced_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 сущности ар доступны в рассматриваемом контексте обмена, и если никакие ограничения не
представлены единственным идентификатором ограничений constraintjdentifier. то функция compute_
known_referenced_property_constraint возвращает точно все ограничения, импортируемые сущностью ар.
Пример представления на языке EXPRESS:
’)
FUNCTION compute_known_referenced_property_constraints(
ар: a_priori_semantic_re!ationship):
SET OF property_constraint;
LOCAL
s: SET OF property_constraint:= (]; — result
prop: SET OF property_BSU:=
listJo_set(ap.referenced_properties): — imported properties
d: SET OF class_BSU:=
ap.referenced_classes: — source of importation
cons: SET OF property_constraint
:= compute_known_property_constraints(d);
- ad those property_constraints existing in the various
- classesfrom cl that may be computed in the current -
exchange context.
ENDJ.OCAL;
REPEAT n_cons:= 1TO SIZEOF(cons);
IF cons(n_cons].constrained_property IN prop
THEN
s:= s + cons[n_cons]:
150