RULE representation_items_for_maximum_permissible_swsf_values

(* SCHEMA ship_structures_schema; *)
  RULE representation_items_for_maximum_permissible_swsf_values FOR (
             compound_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 = 'maximum permissible 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; -- representation_items_for_maximum_permissible_swsf_values

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2012-03-27T17:17:03-04:00