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

java.lang.Object
  org.eclipse.tptp.platform.analysis.core.ui.internal.actions.AnalyzeLastAction

All Implemented Interfaces:

org.eclipse.ui.IActionDelegate, org.eclipse.ui.IWorkbenchWindowActionDelegate

public class AnalyzeLastAction
extends java.lang.Object
implements org.eclipse.ui.IWorkbenchWindowActionDelegate

Field Summary

static java.lang.String

ANALYZE_MODE

Constructor Summary

AnalyzeLastAction()

Method Summary

void	dispose()
protected org.eclipse.debug.core.ILaunchConfiguration	getLastLaunch() Return the last launch that occurred in the workspace.
java.lang.String	getLaunchGroupId()
java.lang.String	getMode()
void	init(org.eclipse.ui.IWorkbenchWindow window)
void	run(org.eclipse.jface.action.IAction action)
void	selectionChanged(org.eclipse.jface.action.IAction action, org.eclipse.jface.viewers.ISelection selection)

Methods inherited from class java.lang.Object

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

Field Detail

ANALYZE_MODE

public static final java.lang.String ANALYZE_MODE

See Also:

Constant Field Values

Constructor Detail

AnalyzeLastAction

public AnalyzeLastAction()

Method Detail

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.ui.IWorkbenchWindowActionDelegate

See Also:

IWorkbenchWindowActionDelegate

init

public void init(org.eclipse.ui.IWorkbenchWindow window)

Specified by:

init in interface org.eclipse.ui.IWorkbenchWindowActionDelegate

See Also:

IWorkbenchWindowActionDelegate

run

public void run(org.eclipse.jface.action.IAction action)

Specified by:

run in interface org.eclipse.ui.IActionDelegate

See Also:

IActionDelegate.run(org.eclipse.jface.action.IAction)

selectionChanged

public void selectionChanged(org.eclipse.jface.action.IAction action,
                             org.eclipse.jface.viewers.ISelection selection)

Specified by:

selectionChanged in interface org.eclipse.ui.IActionDelegate

See Also:

IActionDelegate.selectionChanged(org.eclipse.jface.action.IAction, org.eclipse.jface.viewers.ISelection)

getLastLaunch

protected org.eclipse.debug.core.ILaunchConfiguration getLastLaunch()

Return the last launch that occurred in the workspace.

getMode

public java.lang.String getMode()

getLaunchGroupId

public java.lang.String getLaunchGroupId()

See Also:

org.eclipse.debug.internal.ui.actions.LaunchDropDownAction#getLaunchGroupId()