|
RULE part_version_constraint FOR (product_definition_formation); WHERE wr1: SIZEOF ( QUERY ( pv <* product_definition_formation | ( NOT ( 'part_and_version_identification_xim.' + 'part_version' IN TYPEOF ( pv ) ) ) AND ( 'part_and_version_identification_xim.' + 'part' IN TYPEOF ( pv . of_product ) ) ) ) = 0 ; END_RULE; -- part_version_constraint |
|
public class RPart_version_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |