|
RULE software_version_constraint FOR (product_definition_formation); WHERE wr1: SIZEOF ( QUERY ( pv <* software_version | ( NOT ( 'software_xim.' + 'software_version' IN TYPEOF ( pv ) ) ) AND ( 'software_xim.' + 'software' IN TYPEOF ( pv . of_product ) ) ) ) = 0 ; END_RULE; -- software_version_constraint |
|
public class RSoftware_version_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |