|
RULE rule_software_definition_constraint FOR (Product_view_definition); WHERE WR1: SIZEOF (QUERY ( pvd <* Product_view_definition | ( NOT('PRODUCTION_RULE_ARM.' + 'RULE_SOFTWARE_DEFINITION' IN TYPEOF(pvd))) AND ('PRODUCTION_RULE_ARM.' + '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) |