(* SCHEMA ship_moulded_form_schema; *)
RULE approval_event_with_approval_person_organization FOR (approval);
LOCAL
violate : LOGICAL := FALSE;
t1_set : SET OF approval := [];
t2_set : SET OF approval_person_organization := [];
END_LOCAL;
t1_set := QUERY ( i <* approval | VALUE_IN(which_class(i),
'approval event') );
REPEAT i := 1 TO HIINDEX(t1_set) BY 1 WHILE NOT violate;
t2_set := bag_to_set(USEDIN(t1_set[i],
'SHIP_MOULDED_FORM_SCHEMA.APPROVAL_PERSON_ORGANIZATION.' +
'AUTHORIZED_APPROVAL'));
violate := NOT (SIZEOF(t2_set) = 1);
END_REPEAT;
WHERE
wr1: (NOT violate);
END_RULE; -- approval_event_with_approval_person_organization
Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:16:47-04:00