ГОСТ Р ИСО 10303-43-2002
Примечания
1 Вторым условием рекурсивной проверки наличия связи между объектами representationitera и ггpre
sent alion_con textявляется вхождение последних в"дерево’*связанных экземпляров объектов representationjtem.
Данное "дерево" основано на объекте, связанном с representation_context посредством выполнения первогоили
второго условия.
2 Рассматриваемую функцию устанаативают. только сети объект item связан с конкретным объектом
representstioo_cootext. Отношение :ш
1
анною объекта item с любым другим объектом representstioncontcxt не
определено.
EXPRESS-cnciimhuKamm
•)
FUNCTION item_in_context
(item : representationJtem;
cmxt : representation_context) : BOOLEAN;
LOCAL
Y : BAG OF representation item:
END^LOGAL;
—Если одно или несколько предстаапемий используют аргументы item и entxt. возвращают
значение true
IF SIZEOF (USEDIN (item, REPRESENTATION_SCHEMA.REPRESENTATION.ITEMS’)
• entxt.representationsJn_context) > 0 THEN
RETURN (TRUE);
— Определяют мультимножество reprcsentationjtem, ссылающихся на item
ELSE Y : = QUERY (z < * USEDIN (item , ” ) |~
’REPRESENTATION^SCH ЕМЛ.REPRESENTATIONJTEM S’ IN TYPEOF (z) );
— Гарантируют заполнение мультимножества
IF SIZEOF (у) > 0 THEN
—Для каждого элемента мультимножества
REPEAT i : = i ТО HIINDEX (у);
— Проверка связи аргумента item с аргументом entxt
IF item in context (Y|ij, entxt) THEN
RETURN (TRUE);
EN D JF;
ENDREPEAT;
END_IF;
EN D JF;
— Возвращают значение false в случае безуспешной проверки всех ветвей
RETURN (FALSE);
END FUNCTION;
С
Щ цщщщ.ацц Mini’ll
item —объект representationjtem. проверяемый на отношение с аргументом entxt. Данный
аргумент является исходным для функции;
entxt - объект representation_context, для которого установлено отношение с объектом item.
Данный аргумент является исходным для функции.
4.5.3 Ф у н к ц и я us i n g _ i t e ms
Функция usingjtems возвращает набор экземпляров объектов representationjtem или
founded Jtem . формируемый по прямым или косвенным ссылкам из объекта representationjtem
EXPRESS-cneund)HKaunB
“)
FUNCTION usingjtems (item : founded Jtem_select;
checkedJtems: SET OF foundedJtem_select)
: SET OF foundedJtem_select;
LOCAL
new_check_items: SET OF foundedJtem_select;
: SET OF founded item_select;
: SET OF founded item_select;
resultJtem s
next items
END LOCAL;
21