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