ГОСТ Р ИСО 10303-46-2002
END_REPEAT;
ENDJF;
IF (local_chi!dren :<>: child text) THEN
RETURN (acycIic_composite_text (start_composite, local .children));
ELSE
RETURN (TRUE);
ENDJF;
END FUNCTION;
<*
Определения аргументов
start_composite — проверяемый примитив compositejext. Он служ
1
гг исходными данными для
функции;
childjcxt —типы texl_or_character. на которые ссылается объект start_composite. Они являют
ся исходными данными для функции. Изначально набор этих типов содержит в качестве элемента
только объект collectedJext из start_composite.
5.6.2Ф у н к ц и яа с у с 1i c_s у ш b o l_r e p r e s e n t a t i o n_r е I a t i о n s h i р
Функция acyclic_symbol_representation_relationship определяет, использован ли объект
symbolreprexentation в «дереве» объектов symbol_representation_relationship. определяюших данный
synibol_represcntation. Функция возвращает значение TRUE, если данный объект не использован
(функция ациклична), и FALSE- в противном случае.
EXPRESS-епепнФикания
4 )
FUNCTION acyclicjymbol_.representation_relationship
(relation: symbol,representation_relationship;
children: SET OF symbolreprescntation) : BOOLEAN
LOCAL
x: SET OF symbol,representation_relationship:
local_children : SET OF symboI_representation;
END LOCAL;
REPEAT i: = I TO HIINDEX (children);
IF relation\representation relationship.rep_1 ;=: children|i| THEN
RETURN(FALSE);
END IF;
END_REPEAT:
x := bag to_set (USEIN (relation\representation relationship.rep 1
•REPRESENTATION SCHEMA.7* ’
REPRESENTATION,RELATIONSHIP.* + REP_2>);
local children := children + reIation\representation_relationship.rep 1;
IF (SIZEOF (x) > 0 THEN
REPEAT i :=l TO HIINDEX (x);
IF NOT acyclic symbol representation relationship(x|i|,
local children) THEN
RETURN (FALSE);
ENDJF;
END REPEAT;
END,IF;
RETURN (TRUE);
END FUNCTION:
C
Определения аргументов
relation — проверяемый объект symbol_representation_relationship. Он служит исходными дан
ными для функции;
children — примитивы symbol_representations. ссылающиеся на объект relation. Они служат ис
ходными данными для функции. Изначально набор этих примитивов содержит в качестве элемента
только атрибут гер_2 объекта relation.
4-2*
51