ГОСТ Р ИСО 10303-43-2002
REPEAT i := 1 ТО HIINDEX (х);
— Если выбранный элемент отображает представление в parent_set. тогда возвращают
—значение false
IF x|i|\mapped _iiem.mapping source.mapped^representation
IN’ parent set THEN
RETURN (FALSE);
EN D JF;
— Рекурсивно проверяют элементы mapped_representation
IF NOT acyc!ic_mapped_representation
(parent_set+
x|i|\mappedJtem.mapping_source.mapped_representation.
xjij\mapped Jtem.mapping source.mapped representation.items) THEN
RETURN (FALSE);
EN D JF;
END_REPEAT:
EN D JF;
— Определяют подмножество cliildren_set, не являющихся mapped items
x := children_set - x;
— Определяют наличие элементов в подмножестве
IF SIZEOF <х) > 0 THEN
—Для каждого элемента набора (множества):
REPEAT i := I ТО HIINDEX (x);
— Определяют набор ссылочных representation.items
Y := QUERY (z < 4 bagjo_set ( USEDIN (x|il, ” 0
0
|
’REPRESENTATIONJ5CHEMA.REPRESENTATIONJTEM’ IN TYPEOF (z) );
— Рекурсивная проверка для неправильных mappedjtem
— Возвращают false при любых обнаруженных ошибках
IF NOT acyclic mapped_representation (parent set, Y) THEN
RETURN (FALSE);
END IF;
END REPEAT;
EN D JF;
— Возвращает tme после проверки всех элементов и отсутствия ошибок
RETURN (TRUE);
END_FUNCTION;
<*
.Ц щ ц ш т.аш ж ш ц ц
parent_set —набор экземпляров объекта representation, в которых используют объект
mappedjtem. Исходными данными для рассматриваемой функции является набор экземпляров
объекта representation, подлежащих проверке на использование заданного объекта mappedjtem;
children_set —набор экземпляров объекта representationJtem . потенциально являющихся объ
ектами mappedjtem. tin которые даны ссылки, прямые или косвенные, через объекты items, входящие в
представления (representations) из аргумента parent_set. Аргумент children_set является исходным для
рассматриваемой функции. Его начальным значением является объект mappedjtem. подлежащий
проверке.
4.5.2 Ф у н к ц и я i t е m __i n _ с о n t e x t
Функцию iteinJn_context устанавливают, если заданный объект representationjtem связан с
объектом representation_context. Функция возвращает значение TRUE, если аргумент item связан
посредством объекта representation с исходным аргументом entxt. В противном случае данная
функция возвращает значение FALSE. Данная функция имеет тип BOOLEAN.
Объект representationjtem связан с объектом representation_context, если:
- он ссылается на набор объектов items, входящих в объект representation и содержащих
аргументы entxt в виде атрибутов context_ofJtems;
- на него ссылаются посредством объекта representationjtem. являющегося атрибутом
itemJn_context в аргументе entxt.
20