|
RULE software_definition_constraint FOR (product_definition); WHERE wr1: SIZEOF ( QUERY ( pvd <* product_definition | ( NOT ( 'software_xim.' + 'software_definition' IN TYPEOF ( pvd ) ) ) AND ( 'software_xim.' + 'software_version' IN TYPEOF ( pvd . formation ) ) ) ) = 0 ; END_RULE; -- software_definition_constraint |
|
public class RSoftware_definition_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |