RULE rule_version_constraint FOR (product_definition_formation); WHERE wr1: SIZEOF (QUERY(pv <* product_definition_formation | (NOT('PRODUCTION_RULE_XIM.' + 'RULE_VERSION' IN TYPEOF(pv))) AND ( 'PRODUCTION_RULE_XIM.' + 'RULE_PRODUCT' IN TYPEOF(pv.of_product)))) = 0; END_RULE; -- rule_version_constraint |
public class RRule_version_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |