RULE subtype_exclusiveness_effectivity FOR (effectivity); WHERE wr1: SIZEOF ( QUERY ( e <* effectivity | NOT ( type_check_function ( e , ['AUTOMOTIVE_DESIGN.'+ 'PRODUCT_DEFINITION_EFFECTIVITY' , 'AUTOMOTIVE_DESIGN.'+ 'TIME_INTERVAL_BASED_EFFECTIVITY'] , 3 ) ) ) ) =0; END_RULE; -- subtype_exclusiveness_effectivity |
public class RSubtype_exclusiveness_effectivity public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |