|
RULE complex_product_requires_product_definition FOR (product_definition, product_definition_formation, product_related_product_category); WHERE wr1: SIZEOF ( QUERY ( pdf <* product_definition_formation | ( ( SIZEOF ( QUERY ( prpc <* USEDIN ( pdf . of_product , 'automotive_design.' + 'product_related_product_category.' + 'products' ) | prpc . name = 'functionality' ) ) = 1 ) AND ( SIZEOF ( QUERY ( pd <* USEDIN ( pdf , 'automotive_design.' + 'product_definition.' + 'formation' ) | pd . frame_of_reference . name = 'functional definition' ) ) <> 1 ) ) OR ( ( SIZEOF ( QUERY ( prpc <* USEDIN ( pdf . of_product , 'automotive_design.' + 'product_related_product_category.' + 'products' ) | prpc . name = 'conceptual design' ) ) = 1 ) AND ( SIZEOF ( QUERY ( pd <* USEDIN ( pdf , 'automotive_design.' + 'product_definition.' + 'formation' ) | pd . frame_of_reference . name = 'conceptual definition' ) ) <> 1 ) ) OR ( ( SIZEOF ( QUERY ( prpc <* USEDIN ( pdf . of_product , 'automotive_design.' + 'product_related_product_category.' + 'products' ) | prpc . name = 'alternative solution' ) ) = 1 ) AND ( SIZEOF ( QUERY ( pd <* USEDIN ( pdf , 'automotive_design.' + 'product_definition.' + 'formation' ) | pd . frame_of_reference . name = 'alternative definition' ) ) <> 1 ) ) ) ) = 0 ; END_RULE; -- complex_product_requires_product_definition |
|
public class RComplex_product_requires_product_definition public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |