|
RULE constraint_definition_requires_constraint_category FOR (product_definition); LOCAL constraint_definitions : SET OF product_definition := [ ] ; END_LOCAL ; constraint_definitions := QUERY ( pd <* product_definition | ( pd . frame_of_reference . name = 'design constraint definition' ) ) ; WHERE wr1: SIZEOF ( QUERY ( pd <* constraint_definitions | ( SIZEOF ( QUERY ( prpc <* USEDIN ( pd . formation . of_product , 'specification_control_mim.product_related_product_category.products' ) | prpc . name = 'requirement' ) ) = 0 ) ) ) = 0 ; END_RULE; -- constraint_definition_requires_constraint_category |
|
public class RConstraint_definition_requires_constraint_category public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |