inputzdj.java

有限自动机输入,转换,识别,图形显示与化简

package cn.work.zdj.actions;

import org.eclipse.jface.action.Action;
import org.eclipse.jface.dialogs.MessageDialog;
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;

public class InputZDJ extends Action{
	public InputZDJ(){
		setId("cn.work.zdj.actions.inputZdj");
		setText("输入自动机@ALT+D");
		setToolTipText("输入自动机");
		setImageDescriptor(AbstractUIPlugin.imageDescriptorFromPlugin(IAppConstants.APPLICATION_ID,IImageKey.INPUT_ZDJ));
		
		
	}
	public void run(){
		IWorkbenchWindow window = PlatformUI.getWorkbench().getActiveWorkbenchWindow();
		try{
			window.getActivePage().showView(IAppConstants.INPUT_ZDJ_VIEW_ID);
			
		}catch(PartInitException e){
			MessageDialog.openError(window.getShell(),"出错","无法打开输入自动机视图");
			
		}
	}
}