ГОСТ Р ИСО 10303-43—2016
END_REPEAT;
END..1F,-
END.REPEAT;
END_1F;
END_REPEAT;
rsl := rs2;
rs2 := [];
END.REPEAT;
RETURN (TRUE);
END_FUNC’TION;
Определение параметра:
ml — заданный экземпляр объекта mappod itoms
4.5.2 Функция acyclic_representation_relationship
Функция acyclic_representation_relationship определяет, не участвует ли представляющий связь
представлений объект representation_relationship в цикле по отношению к заданному набору объек
тов representation, представляющих представления.
EXPRESS-слециФихация:
*)
FUNCTION acyclic_representation_relationship {relation : representation
relationship, relatives : SET[1:?] OF representation, specific_relation : STRING)
:BOOLEAN;
LOCAL
x : SET OF representation_relationship;
END.LOCAL;
IF relation.rep_l IN relatives THEN
RETURN (FALSE);
END..IF;
x := QUERY(r <* bag_tO_set(USED1N(relation.rep_i, ,REPRESENTATION_SCHEKA.’+
’REPRESENTATION^RELATIONSHIP.’ + ’REP_2’)) |specific_relation IN TYPEOF{r));
REPEAT i ;= 1 TO HIINDEX(x);
IF NOT acyclic_representation_relationship(x(i], relatives + relation.
rep_l, specific„relation) THEN
RETURN (FALSE);
END_IF;
£ND_REPEAT;
RETURN (TRUE);
END.FUNCTION;
<*
Определение параметров:
relation — заданный экземпляр объекта representation_relationship. для которого выполняется
проверка,
relatives — набор объектов representation;
spocific_relation — заданный тип объектов representation_relationship. которые должны рас
сматриваться.
4.5.3 Функция item_in_context
Функция item_in_context выполняет проверку, связан ли объект ropresentationjtem с объектом
representation_context. Функция возвращает значение TRUE (истина), если объект reprosentation_
item, играющий роль параметра item, связан с объектом ropresentation_context. играющим роль пара
метра cntxt. через объект representation. Функция item_in_contoxt возвращает значение FALSE (ложь) в
противном случае. Функция имеет Булев тип (BOOLEAN).
Объект representation_item связан с объектом represontation_context. если;
- на объект ссылается атрибут items того объекта representation, атрибут context_of_itoms кото
рого ссылается на объект, играющий в настоящей функции роль параметра cntxt. или
24