RULE restrict_effectivity_usage

(* SCHEMA step_merged_ap_schema; *)
-- IN AP214
RULE restrict_effectivity_usage FOR (configured_effectivity_assignment, effectivity );
   WHERE
      wr1:
         SIZEOF(QUERY (e <* effectivity| (((((SIZEOF([ ('STEP_MERGED_AP_SCHEMA.' + 'DATED_EFFECTIVITY'), ('STEP_MERGED_AP_SCHEMA.' + 'TIME_INTERVAL_BASED_EFFECTIVITY') ] * TYPEOF(e)) = 0) AND (SIZEOF(QUERY (er <* USEDIN(e, 'STEP_MERGED_AP_SCHEMA.EFFECTIVITY_RELATIONSHIP.RELATED_EFFECTIVITY')| (er.name = 'inheritance'))) = 0)) AND (e.id = 'configuration validity')) AND (SIZEOF(QUERY (cea <* USEDIN(e, 'STEP_MERGED_AP_SCHEMA.EFFECTIVITY_ASSIGNMENT.ASSIGNED_EFFECTIVITY')| ('STEP_MERGED_AP_SCHEMA.' + 'CONFIGURED_EFFECTIVITY_ASSIGNMENT' IN TYPEOF(cea)))) = 0)) AND (e.id = 'class usage')) AND (SIZEOF(QUERY (aea <* USEDIN(e, 'STEP_MERGED_AP_SCHEMA.EFFECTIVITY_ASSIGNMENT.ASSIGNED_EFFECTIVITY')| ('STEP_MERGED_AP_SCHEMA.' + 'APPLIED_EFFECTIVITY_ASSIGNMENT' IN TYPEOF(aea)) AND (SIZEOF(QUERY (i <* aea.items| ('STEP_MERGED_AP_SCHEMA.' + 'PRODUCT_CONCEPT_FEATURE_CATEGORY_USAGE' IN TYPEOF(i)))) > 0))) = 0))) = 0;
END_RULE;

[Top Level Definitions] [Exit]

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