// public for unit test
public WizardDialog MSG_SM_CommunicationClassOperationFormalize(IStructuredSelection selection) {
CommunicationClassOperationFormalizeOnMSG_SMWizard wizard =
new CommunicationClassOperationFormalizeOnMSG_SMWizard();
wizard.init(CorePlugin.getDefault().getWorkbench(), selection, null);
// Instantiates the wizard container with the wizard and opens it
WizardDialog dialog = new WizardDialog(m_part.getSite().getShell(), wizard);
dialog.create();
ImageDescriptor descr = CorePlugin.getImageDescriptor("green-bp.gif");
dialog.getShell().setImage(descr.createImage());
return dialog;
}
// public for unit test
public WizardDialog SQ_CP_SpecializedPackageClassFormalize(IStructuredSelection selection) {
SpecializedPackageClassFormalizeOnSQ_CPWizard wizard =
new SpecializedPackageClassFormalizeOnSQ_CPWizard();
wizard.init(CorePlugin.getDefault().getWorkbench(), selection, null);
// Instantiates the wizard container with the wizard and opens it
WizardDialog dialog = new WizardDialog(m_part.getSite().getShell(), wizard);
dialog.create();
ImageDescriptor descr = CorePlugin.getImageDescriptor("green-bp.gif");
dialog.getShell().setImage(descr.createImage());
return dialog;
}
