RULE envisaged_version_creation_has_mandatory_attribute_description

(* SCHEMA step_ship_schema; *)

-- ONLY IN AP215/AP216/AP218
RULE envisaged_version_creation_has_mandatory_attribute_description
FOR (action);
LOCAL
    t1_set:  SET OF action := [];
    violate: LOGICAL := FALSE;
  END_LOCAL;
   t1_set := QUERY(i <* action | VALUE_IN(WHICH_CLASS(i),
   'envisaged version creation'));
   violate := (SIZEOF(QUERY(k <* t1_set |
   NOT EXISTS (k.description))) > 0);
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