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) |