RULE solution_definition_requires_solution_category FOR (product_definition); LOCAL solution_definitions: SET OF product_definition := []; END_LOCAL; solution_definitions := QUERY( pd <* product_definition | (pd.frame_of_reference.name = 'alternative definition')); WHERE wr1: SIZEOF( QUERY( pd <* solution_definitions | (SIZEOF( QUERY( prpc <* USEDIN(pd.formation.of_product, 'ALTERNATIVE_SOLUTION_MIM' + '.PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS') | prpc.name = 'alternative solution')) = 0 ) )) = 0; END_RULE; -- solution_definition_requires_solution_category |
public class RSolution_definition_requires_solution_category public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |