RULE rule_software_definition_constraint FOR (product_view_definition); WHERE wr1: SIZEOF (QUERY ( pvd <* Product_view_definition | ( NOT('PRODUCTION_RULE_XIM.' + 'RULE_SOFTWARE_DEFINITION_ARMX' IN TYPEOF(pvd))) AND ('PRODUCTION_RULE_XIM.' + 'RULE_VERSION' IN TYPEOF (pvd . defined_version)))) = 0; END_RULE; -- rule_software_definition_constraint |
public class RRule_software_definition_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |