RULE versionable_object_has_one_version_id

(* SCHEMA Ship_arrangement_schema; *)



   RULE versionable_object_has_one_version_id FOR (applied_identification_assignment );
   LOCAL
      version_ids : SET OF applied_identification_assignment := [];
      versionable_objects : BAG OF identification_item := [];
      duplicate : LOGICAL := FALSE;
   END_LOCAL;
      version_ids := QUERY (i <* applied_identification_assignment| i.role.NAME = 'version identifier');
      REPEAT i := 1 TO HIINDEX(version_ids);
         versionable_objects := versionable_objects + version_ids[i].items;
      END_REPEAT;
      REPEAT i := 1 TO HIINDEX(versionable_objects) WHILE NOT duplicate;
         REPEAT j := i + 1 TO HIINDEX(versionable_objects) WHILE NOT duplicate;
            duplicate := versionable_objects[i] :=: versionable_objects[j];
         END_REPEAT;
      END_REPEAT;
   WHERE
      WR1:
         NOT duplicate;
   END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:16:37-04:00