RULE document_version_constraint FOR (product_definition_formation); WHERE wr1: SIZEOF ( QUERY ( pv <* Product_definition_formation | ( NOT ( 'Document_and_version_identification_xim.' + 'DOCUMENT_VERSION' IN TYPEOF ( pv) ) ) AND ( 'Document_and_version_identification_xim.' + 'DOCUMENT_ARMX' IN TYPEOF ( pv.of_product) ) ) ) = 0; END_RULE; -- document_version_constraint |
public class RDocument_version_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |