package cn.work.zdj.actions;

import org.eclipse.jface.action.Action;
import org.eclipse.jface.dialogs.MessageDialog;
import org.eclipse.swt.widgets.Table;
import org.eclipse.ui.IViewPart;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.ui.PartInitException;
import org.eclipse.ui.PlatformUI;
import org.eclipse.ui.plugin.AbstractUIPlugin;

import cn.work.zdj.sys.IAppConstants;
import cn.work.zdj.sys.IImageKey;
import cn.work.zdj.ui.OldZdj;

public class NFAToDFA extends Action {
	public NFAToDFA(){
		setId("cn.work.zdj.actions.NFAToDFA");
		setText("自動機轉換及修改@ALT+F");
		setToolTipText("自動機轉換及修改");
		setImageDescriptor(AbstractUIPlugin.imageDescriptorFromPlugin(IAppConstants.APPLICATION_ID,IImageKey.NFA_TO_DFA));
		
		
	}
	public void run(){
		IWorkbenchWindow window = PlatformUI.getWorkbench().getActiveWorkbenchWindow();
		IViewPart vp = window.getActivePage().findView(IAppConstants.OLD_ZDJ_VIEW_ID);
		Table table = ((OldZdj)vp).getTableViewer().getTable();
		if(table.getSelectionIndex() == -1){
			
			MessageDialog.openInformation(null,"提示","你還沒有添加自動機,無法轉換自動機");
			return;
		}
		try{
			window.getActivePage().showView(IAppConstants.NFA_TO_DFA);
			
		}catch(PartInitException e){
			MessageDialog.openError(window.getShell(),"出錯","無法打開輸入自動機轉換視圖");
			
		}
	}
}