RULE access_file_requires_external_identification

(* SCHEMA technical_data_packaging; *)

  RULE access_file_requires_external_identification FOR (document_file);

    LOCAL
      df     : SET OF document_file;
      aeia   : BAG OF applied_external_identification_assignment;
      result : BOOLEAN := TRUE;
    END_LOCAL;
    df := document_file;
    REPEAT i := 1 TO SIZEOF(df) BY 1;
      IF df[i]\document.description = 'access data file' THEN
        aeia := USEDIN(df[i],'TECHNICAL_DATA_PACKAGING.' + 
            'APPLIED_EXTERNAL_IDENTIFICATION_ASSIGNMENT.ITEMS');
        IF SIZEOF(aeia) < 1 THEN
          result := FALSE;
        END_IF;
      END_IF;
    END_REPEAT;

  WHERE
    wr1: result;

  END_RULE; -- access_file_requires_external_identification

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