FUNCTION acyclic_shape_aspect_relationship
(relation : shape_aspect_relationship, relatives : SET [1:?] OF shape_aspect, specific_relation : STRING) : BOOLEAN;
LOCAL x : SET OF shape_aspect_relationship; END_LOCAL;
IF relation.relating_shape_aspect IN relatives THEN RETURN (FALSE); END_IF; x := QUERY(sa <* bag_to_set(USEDIN(relation.relating_shape_aspect, 'PRODUCT_PROPERTY_DEFINITION_SCHEMA.' + 'SHAPE_ASPECT_RELATIONSHIP.' + 'RELATED_SHAPE_ASPECT')) | specific_relation IN TYPEOF(sa)); REPEAT i := 1 TO HIINDEX(x); IF NOT acyclic_shape_aspect_relationship(x[i], relatives + relation.relating_shape_aspect, specific_relation) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_FUNCTION; -- acyclic_shape_aspect_relationship
|