RULE indentured_data_list_identification_constraint

(* SCHEMA technical_data_packaging; *)

  RULE indentured_data_list_identification_constraint FOR (
             product_definition_formation);

    LOCAL
      prpc   : BAG OF product_related_product_category;
      pc     : SET OF product_category;
      pdf    : SET OF product_definition_formation;
      result : BOOLEAN := TRUE;
    END_LOCAL;
    pdf := product_definition_formation;
    REPEAT i := 1 TO SIZEOF(pdf) BY 1;
      prpc := USEDIN(pdf[i].of_product,'TECHNICAL_DATA_PACKAGING.' + 
       'PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS');
      REPEAT j := 1 TO SIZEOF(prpc) BY 1;
        IF prpc[j]\product_category.name = 'indentured data list' THEN
          pc := product_category_graph_members(prpc[j]);
          result := FALSE;
          REPEAT k := 1 TO SIZEOF(pc) BY 1;
            IF pc[k].name = 'document' THEN
              result := TRUE;
            END_IF;
          END_REPEAT;
          IF result = FALSE THEN
            ESCAPE;
          END_IF;
        END_IF;
      END_REPEAT;
    END_REPEAT;

  WHERE
    wr1: result;

  END_RULE; -- indentured_data_list_identification_constraint

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