FUNCTION acyclic_generic_property_relationship

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

Referenced By

Defintion acyclic_generic_property_relationship is references by the following definitions:
DefinitionType
 generic_property_relationship ENTITY


[Top Level Definitions] [Exit]

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