|
RULE rule_version_constraint FOR (Product_version); WHERE WR1: SIZEOF (QUERY(pv <* Product_version | (NOT('PRODUCTION_RULE_ARM.' + 'RULE_VERSION' IN TYPEOF(pv))) AND ( 'PRODUCTION_RULE_ARM.' + '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) |