FUNCTION acyclic_person_type_definition_relationship
(relation : person_type_definition_relationship, relatives : SET [0:?] OF person_type_definition, specific_relation : STRING) : BOOLEAN;
LOCAL x : SET OF person_type_definition_relationship; END_LOCAL;
IF relation.relating_person_type_definition IN relatives THEN RETURN (FALSE); END_IF; x := QUERY(ptdef <* bag_to_set(USEDIN(relation.relating_person_type_definition, 'PERSON_ORGANIZATION_SCHEMA.' + 'PERSON_TYPE_DEFINITION_RELATIONSHIP.' + 'RELATED_PERSON_TYPE_DEFINITION')) | specific_relation IN TYPEOF(ptdef)); REPEAT i := 1 TO HIINDEX(x); IF NOT acyclic_person_type_definition_relationship(x[i], relatives + relation.relating_person_type_definition, specific_relation) THEN RETURN (FALSE); END_IF; END_REPEAT; RETURN (TRUE); END_FUNCTION; -- acyclic_person_type_definition_relationship
|