RULE chemical_element_constraint FOR (product_armx); WHERE wr1: SIZEOF ( QUERY ( p <* Product_armx | (('CHEMICAL_SUBSTANCE_XIM.' + 'SUBSTANCE' IN TYPEOF (p) ) AND ((p\Product.name) IN chemical_elements) ) OR (NOT('CHEMICAL_SUBSTANCE_XIM.' + 'SUBSTANCE' IN TYPEOF (p) ) AND NOT((p\Product.name) IN chemical_elements) ) )) = SIZEOF ( Product_armx); END_RULE; -- chemical_element_constraint |
public class RChemical_element_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |