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; -- subtype_exclusiveness_effectivity_context_assignment |
public class RSubtype_exclusiveness_effectivity_context_assignment public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |