RULE caused_when_for_check

(* SCHEMA step_ship_schema; *)

-- ONLY IN AP215/AP216/AP218
RULE caused_when_for_check
FOR(applied_date_and_time_assignment, action);
  LOCAL
    t1_set:  SET OF action := [];
    a_set:  SET OF applied_date_and_time_assignment := [];
    violate: LOGICAL := FALSE;
  END_LOCAL;
   t1_set := QUERY(a <* action | VALUE_IN(WHICH_CLASS(a), 'check'));

REPEAT i := 1 TO HIINDEX(t1_set) WHILE NOT violate;
  a_set := QUERY(b <* applied_date_and_time_assignment |
               (VALUE_IN(b.items, t1_set[i]) AND
               (b.role.name = 'caused when')));
    violate := SIZEOF(a_set) <> 1;
  END_REPEAT;
  WHERE
    WR1: NOT violate;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools^TM EXPRESS to HTML Converter
on 2007-09-24T12:42:21-04:00