|
RULE restrict_configuration_design_for_class_breakdown_association FOR (configuration_design); WHERE wr1: SIZEOF ( QUERY ( cd <* configuration_design | ( cd . name = 'functionality' ) AND ( NOT ( 'specification_control_mim.product_definition' IN TYPEOF ( cd . design ) ) OR ( cd . design \ product_definition . frame_of_reference . name <> 'functional definition' ) ) ) ) = 0 ; wr2: SIZEOF ( QUERY ( cd <* configuration_design | ( cd . name = 'realization' ) AND ( NOT ( 'specification_control_mim.product_definition' IN TYPEOF ( cd . design ) ) OR ( cd . design \ product_definition . frame_of_reference . name <> 'conceptual definition' ) ) ) ) = 0 ; wr3: SIZEOF ( QUERY ( cd <* configuration_design | ( cd . name IN [ 'functionality' , 'realization' ] ) AND ( NOT ( 'specification_control_mim.product_class' IN TYPEOF ( cd . configuration . item_concept ) ) ) ) ) = 0 ; END_RULE; -- restrict_configuration_design_for_class_breakdown_association |
|
public class RRestrict_configuration_design_for_class_breakdown_association public int rWr3(SdaiContext _context) public int rWr2(SdaiContext _context) public int rWr1(SdaiContext _context) public int run(SdaiContext _context, A_string violations) |