RULE unique_datum_system

(* SCHEMA step_merged_ap_schema; *)
-- IN AP242
RULE unique_datum_system FOR (datum_system );
   LOCAL
      pass : BOOLEAN := TRUE;
   END_LOCAL;
      REPEAT i := 1 TO SIZEOF(datum_system) BY 1;
         REPEAT j := 1 TO SIZEOF(datum_system) BY 1;
            IF i <> j THEN
               IF datum_system[i]\datum_system.constituents = datum_system[j]\datum_system.constituents THEN
                  pass := FALSE;
               END_IF;
            END_IF;
         END_REPEAT;
      END_REPEAT;
   WHERE
      wr1:
         pass;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2017-01-19T11:17:24-05:00