RULE subtype_exclusiveness_action FOR (action); WHERE wr1: SIZEOF ( QUERY ( a <* action | NOT ( type_check_function ( a , ['AUTOMOTIVE_DESIGN.'+ 'ELEMENT_DELIVERY' , 'AUTOMOTIVE_DESIGN.'+ 'EXECUTED_ACTION' , 'AUTOMOTIVE_DESIGN.'+ 'PROCESS_PLAN' , 'AUTOMOTIVE_DESIGN.'+ 'PRODUCT_DEFINITION_PROCESS' , 'AUTOMOTIVE_DESIGN.'+ 'PROPERTY_PROCESS' , 'AUTOMOTIVE_DESIGN.'+ 'RETENTION'] , 3 ) ) ) ) =0; END_RULE; -- subtype_exclusiveness_action |
public class RSubtype_exclusiveness_action public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |