graphicsdata.java

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

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 GraphicsData extends Action {
	public GraphicsData(){
		setId("cn.work.zdj.actions.GraphicsData");
		setText("图形显示@ALT+C");
		setImageDescriptor(AbstractUIPlugin.imageDescriptorFromPlugin(IAppConstants.APPLICATION_ID,IImageKey.GRAPHICS_DATA));
		
	}
	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.GRAPHICS_DATA_VIEW_ID);
			
		}catch(PartInitException e){
			MessageDialog.openError(window.getShell(),"出错","无法打开图形显示视图");
			
		}
	}
}