|
RULE template_version_constraint FOR (Product_version); WHERE WR1: SIZEOF ( QUERY ( pv <* Product_version | ( NOT ( 'PHYSICAL_LAYOUT_TEMPLATE_ARM.' + 'TEMPLATE_VERSION' IN TYPEOF ( pv) ) ) AND ( 'PHYSICAL_LAYOUT_TEMPLATE_ARM.' + 'TEMPLATE' IN TYPEOF ( pv.of_product) ) ) ) =0; END_RULE; -- template_version_constraint |
|
public class RTemplate_version_constraint public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |