ГОСТ Р ИСО 13584-31—2010
Спецификация на языке EXPRESS:
■)
FUNCTION item_in_context
(item : representation_item;
cntxt : representatior.context) : BOOLEAN;
LOCAL
i : INTEGER;
у : BAG OF representation_item;
END_LOCAL;
— If there is one or more representation using both the item
-- and cntxt return true.
IF SIZEOF(USEDIN(item,’AP:_AB3TRACT_SCHEMA.REPRESENTATION.ITEMS’)
*
cr.txt.represer.tatior.s_in_context) > 0 THEN
RETURN (TRUE);
— Determine the bag of representation^terns that reference item.
ELSE
у QUERY(z <* USEDIN (item , ") .
*APl_ABSTRACT_SCH£MA.REPRESENTATION_ITEM’ IN TYPEOF(z));
-- Ensure that the set is not empty.
II SIZEOF(y) > 3 THEN
-- For each element in the set
REPEAT i1 TO HIINDEX(y);
-- check to see it is an item in the input cntxt.
IF item_in_cor.text<у[i’■, cntxt) THEN
RETURN (TRUE);
END_IF;
ENDREPEAT;
END_IF;
END_IF;
-- Return false when all possible branches have been checked
— with no success.
RETURN (FALSE);
ENU_FUNCTION;
(*
Определения аргументов:
item: элемент представления, проверяемый на предмет наличия связи с контекстом cntxt. Входной
аргумент функции;
cntxt: контекст представления, для которого определяется соотношение с аргументом item. Вход
ной аргумент функции.
6.3.3.3 Функция using_representations
Функция using_representations возвращает множество представлений с используемыми элемента
ми представления representation_items.
Элемент представления используется в некотором представлении representation, если на него
производится ссылка:
1) во множестве элементов представления;
2) элементом представления, используемым в представлении.
П ри м е ча н и е — Вторым условием является последовательная проверка, допускающая использова
ние элемента представления в некотором представлении в качестве ветви дерева соответствующих элементов
представления. Корнем дерева является сущность, используемая в представлении, удовлетворяющем первому
условию.
106