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