RULE representation_for_compartment_tightness

(* SCHEMA step_ship_schema; *)

-- ONLY IN AP215
RULE representation_for_compartment_tightness FOR (representation );
   LOCAL
      reps : BAG OF representation := [];
      arg_list : LIST OF STRING := ['context', 'required bulkhead tightness'];
      violation : LOGICAL := FALSE;
   END_LOCAL;
      reps := QUERY (temp_rep <* representation| SIZEOF(QUERY (temp_prop_def_rep <* bag_to_set(USEDIN(temp_rep, 'STEP_SHIP_SCHEMA.PROPERTY_DEFINITION_REPRESENTATION.' + 'USED_REPRESENTATION'))|
 (temp_prop_def_rep.NAME = 'compartment tightness'))) > 0);
      REPEAT i := 1 TO HIINDEX(reps) WHILE NOT violation;
         REPEAT j := 1 TO HIINDEX(arg_list) WHILE NOT violation;
            violation := SIZEOF(QUERY (rep_item <* reps[i].items | (rep_item.NAME = arg_list[j]))) <> 1;
         END_REPEAT;
      END_REPEAT;
   WHERE
      WR1:
         NOT violation;
END_RULE;

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