FUNCTION acyclic_area_component
(relation : area_component_armx, relatives : SET [1:?] OF area_component_armx, specific_relation : STRING) : BOOLEAN;
LOCAL x : SET OF Area_component_armx; END_LOCAL;
IF relation.replaced_component IN relatives THEN RETURN (FALSE); END_IF; x := QUERY(pd <* bag_to_set(USEDIN(relation.replaced_component, 'LAYERED_INTERCONNECT_MODULE_DESIGN_XIM.' + 'AREA_COMPONENT_ARMX.' + 'REPLACED_BY')) | specific_relation IN TYPEOF(pd)); REPEAT i := 1 TO HIINDEX(x); IF NOT acyclic_area_component(x[i], relatives + relation.replaced_component, specific_relation) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_FUNCTION; -- acyclic_area_component
|