|
RULE subtype_exclusiveness_effectivity_assignment FOR (effectivity_assignment); WHERE wr1: SIZEOF ( QUERY ( ea <* effectivity_assignment | NOT ( type_check_function ( ea , [ 'automotive_design.' + 'applied_effectivity_assignment' , 'automotive_design.' + 'applied_ineffectivity_assignment' , 'automotive_design.' + 'configured_effectivity_assignment' ] , 3 ) ) ) ) = 0 ; END_RULE; -- subtype_exclusiveness_effectivity_assignment |
|
public class RSubtype_exclusiveness_effectivity_assignment public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |