RULE alternative_solution_requires_solution_definition FOR (product_definition_formation); LOCAL solution_versions: SET OF product_definition_formation := []; END_LOCAL; solution_versions := QUERY( pdf <* product_definition_formation | SIZEOF( QUERY( prpc <* USEDIN(pdf.of_product, 'ALTERNATIVE_SOLUTION_MIM' + '.PRODUCT_RELATED_PRODUCT_CATEGORY.PRODUCTS') | prpc.name = 'alternative solution')) = 1); WHERE wr1: SIZEOF( QUERY( pdf <* solution_versions | SIZEOF( QUERY( pd <* USEDIN(pdf, 'ALTERNATIVE_SOLUTION_MIM' + '.PRODUCT_DEFINITION.FORMATION') | pd.frame_of_reference.name = 'alternative definition')) <> 1))= 0; END_RULE; -- alternative_solution_requires_solution_definition |
public class RAlternative_solution_requires_solution_definition public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |