RULE header_configuration_restricts_property_definition

(* SCHEMA step_merged_ap_schema; *)
-- IN AP232
RULE header_configuration_restricts_property_definition FOR (property_definition );
   LOCAL
      found : BOOLEAN;
      pd : SET OF property_definition;
      apa : BAG OF applied_approval_assignment;
      result : BOOLEAN := TRUE;
   END_LOCAL;
      pd := QUERY (v <* property_definition| v.name LIKE '* header');
      REPEAT i := 1 TO SIZEOF(pd) BY 1;
         found := FALSE;
         apa := USEDIN(pd[i], 'STEP_MERGED_AP_SCHEMA.APPLIED_APPROVAL_ASSIGNMENT.ITEMS');
         REPEAT j := 1 TO SIZEOF(apa) BY 1;
            IF EXISTS(apa[j]\approval_assignment.role) THEN
               IF (apa[j]\approval_assignment.role.name = 'release authentication') OR (apa[j]\approval_assignment.role.name = 'data usage rights') THEN
                  found := TRUE;
               END_IF;
            END_IF;
         END_REPEAT;
         IF SIZEOF(USEDIN(pd[i], 'STEP_MERGED_AP_SCHEMA.' + 'PROPERTY_DEFINITION_REPRESENTATION.DEFINITION')) > 0 THEN
            found := TRUE;
         END_IF;
         IF NOT found THEN
            result := FALSE;
         END_IF;
      END_REPEAT;
   WHERE
      wr1:
         result;
END_RULE;

[Top Level Definitions] [Exit]

Generated by STEP Tools® EXPRESS to HTML Converter
2020-07-28T17:02:19-04:00