FUNCTION acyclic_assignment_object_relationship

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
FUNCTION acyclic_assignment_object_relationship
      (relation : assignment_object_relationship;
       relatives : SET [1:?] OF assignment_object_select;
       specific_relation : STRING ) : BOOLEAN;
   LOCAL
      x : SET OF assignment_object_relationship;
   END_LOCAL;
      IF relation.relating IN relatives THEN
         RETURN (FALSE);
      END_IF;
      x := QUERY (aor <* bag_to_set(USEDIN(relation.relating, 'STEP_MERGED_AP_SCHEMA.ASSIGNMENT_OBJECT_RELATIONSHIP.RELATED'))| specific_relation IN TYPEOF(aor));
      REPEAT i := 1 TO HIINDEX(x);
         IF NOT acyclic_assignment_object_relationship(x[i], (relatives + relation.relating), specific_relation) THEN
            RETURN (FALSE);
         END_IF;
      END_REPEAT;
      RETURN (TRUE);
END_FUNCTION;

Referenced By

Defintion acyclic_assignment_object_relationship is references by the following definitions:
DefinitionType
 assignment_object_relationship ENTITY


[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2024-09-06T14:00:33-04:00