logoff.java

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

package cn.work.zdj.actions;

import org.eclipse.jface.action.Action;
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 Logoff extends Action {
	public Logoff(){
		setId("cn.work.zdj.actions.Logoff");
		setText("用户注销[&R]");
		setToolTipText("用户注销");
		setImageDescriptor(AbstractUIPlugin.imageDescriptorFromPlugin(IAppConstants.APPLICATION_ID,IImageKey.LOGOFF));
		
	}
	public void run(){
		PlatformUI.getWorkbench().restart();
	}
}