RULE change_impact_with_versionable_object_change_event

(* SCHEMA ship_moulded_form_schema; *)
  RULE change_impact_with_versionable_object_change_event FOR (
             applied_action_request_assignment);

    LOCAL
      violate : LOGICAL := FALSE;
      t1_set  : SET OF applied_action_request_assignment := [];
      a_set   : SET OF action := [];
    END_LOCAL;
    t1_set := QUERY ( b <* applied_action_request_assignment | (b.role.
        name = 'change impact') );
    REPEAT i := 1 TO HIINDEX(t1_set) BY 1 WHILE NOT violate;
      a_set := QUERY ( b <* t1_set[i].items | ((
          'SHIP_MOULDED_FORM_SCHEMA.ACTION' IN TYPEOF(b)) AND VALUE_IN(
          which_class(b),'versionable object change event')) );
      violate := SIZEOF(a_set) = 0;
    END_REPEAT;

  WHERE
    wr1: (NOT violate);

  END_RULE; -- change_impact_with_versionable_object_change_event

[Top Level Definitions] [Exit]

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