|
RULE physical_instance_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 = 'physically realized product' ) ) >0 ) AND ( SIZEOF ( QUERY ( pd <* USEDIN ( pdf , 'AUTOMOTIVE_DESIGN.'+'PRODUCT_DEFINITION.'+ 'FORMATION' ) | pd. frame_of_reference.name = 'physical occurrence' ) ) <>1 ) ) ) =0; END_RULE; -- physical_instance_requires_product_definition |
|
public class RPhysical_instance_requires_product_definition public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |