(* 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
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:16:47-04:00