org.eclipse.tptp.platform.analysis.core.ui.internal.actions
Class AnalysisHistoryAction

java.lang.Object
  org.eclipse.debug.ui.actions.AbstractLaunchHistoryAction
      org.eclipse.tptp.platform.analysis.core.ui.internal.actions.AnalysisHistoryAction

All Implemented Interfaces:

org.eclipse.debug.internal.ui.ILaunchHistoryChangedListener, org.eclipse.ui.IActionDelegate, org.eclipse.ui.IWorkbenchWindowActionDelegate, org.eclipse.ui.IWorkbenchWindowPulldownDelegate, org.eclipse.ui.IWorkbenchWindowPulldownDelegate2

public class AnalysisHistoryAction
extends org.eclipse.debug.ui.actions.AbstractLaunchHistoryAction

Field Summary

Fields inherited from class org.eclipse.debug.ui.actions.AbstractLaunchHistoryAction

fRecreateMenu

Constructor Summary

AnalysisHistoryAction()

Method Summary

Methods inherited from class org.eclipse.debug.ui.actions.AbstractLaunchHistoryAction

addSeparator, addToMenu, dispose, fillMenu, getAction, getFavorites, getHistory, getLastLaunch, getLaunchGroupIdentifier, getLaunchHistory, getMenu, getMenu, getMode, getToolTip, init, launchHistoryChanged, run, selectionChanged, updateTooltip

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AnalysisHistoryAction

public AnalysisHistoryAction()