RULE subtype_exclusiveness_effectivity_context_assignment

(* SCHEMA AUTOMOTIVE_DESIGN; *)

 
RULE subtype_exclusiveness_effectivity_context_assignment FOR (
  effectivity_context_assignment);
WHERE
  wr1 : SIZEOF(QUERY(eca <* effectivity_context_assignment | NOT 
    type_check_function(eca, ['AUTOMOTIVE_DESIGN.' + 
    'CLASS_USAGE_EFFECTIVITY_CONTEXT_ASSIGNMENT', 'AUTOMOTIVE_DESIGN.' + 
    'CONFIGURED_EFFECTIVITY_CONTEXT_ASSIGNMENT'], 3))) = 0;
END_RULE; -- 10303-214: automotive_design

[Top Level Definitions] [Exit]

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