|
RULE software_definition_constraint FOR (Product_view_definition); WHERE WR1: SIZEOF ( QUERY ( pvd <* Product_view_definition | ( NOT ( 'SOFTWARE_ARM.' + 'SOFTWARE_DEFINITION' IN TYPEOF (pvd) ) ) AND ( 'SOFTWARE_ARM.' + 'SOFTWARE_VERSION' IN TYPEOF ( pvd.defined_version) ) ) ) =0; END_RULE; -- software_definition_constraint |
|
public class RSoftware_definition_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |