RULE representation_items_specified_for_design_swsf_values

(* SCHEMA step_ship_schema; *)

-- ONLY IN AP218
RULE representation_items_specified_for_design_swsf_values FOR (
             compound_representation_item, representation_item);

    LOCAL
      violation : LOGICAL := FALSE;
      rep_item  : SET OF representation_item := [];
      arg_list  : LIST OF STRING := ['negative value','positive value',
                   'position'];
      creps     : BAG OF compound_representation_item := [];
    END_LOCAL;
    creps := QUERY ( temp_comp_rep_item <* compound_representation_item |
        (temp_comp_rep_item.name = 'design swsf values') );
    REPEAT i := 1 TO HIINDEX(creps) BY 1 WHILE NOT violation;
      REPEAT j := 1 TO HIINDEX(arg_list) BY 1 WHILE NOT violation;
        REPEAT k := 1 TO HIINDEX(creps[i].item_element) BY 1;
          rep_item := creps[i].item_element;
          violation := SIZEOF(QUERY ( items <* rep_item | (items.name =
              arg_list[j]) )) = 1;
        END_REPEAT;
      END_REPEAT;
    END_REPEAT;

  WHERE
    wr1: (NOT violation);

END_RULE;

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