|
RULE restrict_effectivity_usage FOR (configured_effectivity_assignment, effectivity); WHERE wr1: SIZEOF ( QUERY ( e <* effectivity | ( SIZEOF ( [ 'automotive_design.' + 'dated_effectivity' , 'automotive_design.' + 'time_interval_based_effectivity' ] * TYPEOF ( e ) ) = 0 ) AND ( ( SIZEOF ( QUERY ( er <* USEDIN ( e , 'automotive_design.effectivity_relationship.' + 'related_effectivity' ) | er . name = 'inheritance' ) ) = 0 ) AND ( ( e . id = 'configuration validity' ) AND ( SIZEOF ( QUERY ( cea <* USEDIN ( e , 'automotive_design.effectivity_assignment.assigned_effectivity' ) | 'automotive_design.' + 'configured_effectivity_assignment' IN TYPEOF ( cea ) ) ) = 0 ) ) AND ( ( e . id = 'class usage' ) AND ( SIZEOF ( QUERY ( aea <* USEDIN ( e , 'automotive_design.' + 'effectivity_assignment.' + 'assigned_effectivity' ) | ( 'automotive_design.' + 'applied_effectivity_assignment' IN TYPEOF ( aea ) ) AND ( SIZEOF ( QUERY ( i <* aea . items | 'automotive_design.' + 'product_concept_feature_category_usage' IN TYPEOF ( i ) ) ) > 0 ) ) ) = 0 ) ) ) ) ) = 0 ; END_RULE; -- restrict_effectivity_usage |
|
public class RRestrict_effectivity_usage public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |