FUNCTION acyclic_functional_unit_make_from_relationship
(relation : functional_unit_make_from_relationship, relatives : SET [1:?] OF scalar_terminal_definition, specific_relation : STRING) : BOOLEAN;
LOCAL
x : SET OF Functional_unit_make_from_relationship;
END_LOCAL;
IF relation.relating_view IN relatives THEN
RETURN (FALSE);
END_IF;
x := QUERY(pd <* bag_to_set(USEDIN(relation.relating_view,
'FUNCTIONAL_USAGE_VIEW_XIM.' + 'FUNCTIONAL_UNIT_MAKE_FROM_RELATIONSHIP.' +
'RELATED_VIEW')) | specific_relation IN TYPEOF(pd));
REPEAT i := 1 TO HIINDEX(x);
IF NOT acyclic_functional_unit_make_from_relationship(x[i], relatives +
relation.relating_view, specific_relation) THEN
RETURN (FALSE);
END_IF;
END_REPEAT;
RETURN (TRUE); END_FUNCTION; -- acyclic_functional_unit_make_from_relationship
|