FUNCTION acyclic_functional_unit_usage_view_terminal_definition_make_from_relationship
(relation : functional_unit_usage_view_terminal_definition_make_from_relationship, relatives : SET [1:?] OF functional_unit_usage_view_terminal_definition, specific_relation : STRING) : BOOLEAN;
LOCAL x : SET OF Functional_unit_usage_view_terminal_definition_make_from_relationship; END_LOCAL; IF relation.reusable_feature IN relatives THEN RETURN (FALSE); END_IF; x := QUERY(pd <* bag_to_set(USEDIN(relation.reusable_feature, 'FUNCTIONAL_USAGE_VIEW_XIM.' + 'FUNCTIONAL_UNIT_USAGE_VIEW_TERMINAL_DEFINITION_MAKE_FROM_RELATIONSHIP.' + 'RESULTANT_FEATURE')) | specific_relation IN TYPEOF(pd)); REPEAT i := 1 TO HIINDEX(x); IF NOT acyclic_functional_unit_usage_view_terminal_definition_make_from_relationship(x[i], relatives + relation.reusable_feature, specific_relation) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_FUNCTION; -- acyclic_functional_unit_usage_view_terminal_definition_make_from_relationship
|