|
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) |