jack.plugin
Class ToolbarButton

java.lang.Object
  jack.plugin.ToolbarButton

All Implemented Interfaces:

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

Direct Known Subclasses:

CompileButton, EditButton

public abstract class ToolbarButton

extends java.lang.Object

implements org.eclipse.ui.IWorkbenchWindowActionDelegate

Base class for toolbar buttons.

This class adju

Author:

A. Requet, L. Burdy

Constructor Summary

ToolbarButton()

Method Summary

void	dispose() Default implementation that does nothing.
org.eclipse.jface.viewers.IStructuredSelection	getSelection() Returns the current selection.
org.eclipse.ui.IWorkbenchWindow	getWindow() Returns the IWorkbenchWindow associated to this action.
void	init(org.eclipse.ui.IWorkbenchWindow window)
void	runProofTask(org.eclipse.jface.action.IAction action, ProofTask pt)
void	selectionChanged(org.eclipse.jface.action.IAction action, org.eclipse.jface.viewers.ISelection selection)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.eclipse.ui.IActionDelegate

run

Constructor Detail

ToolbarButton

public ToolbarButton()

Method Detail

getWindow

public org.eclipse.ui.IWorkbenchWindow getWindow()

Returns the IWorkbenchWindow associated to this action.

getSelection

public org.eclipse.jface.viewers.IStructuredSelection getSelection()

Returns the current selection.

dispose

public void dispose()

Default implementation that does nothing.

Specified by:

dispose in interface org.eclipse.ui.IWorkbenchWindowActionDelegate

See Also:

IWorkbenchWindowActionDelegate.dispose()

init

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

Specified by:

init in interface org.eclipse.ui.IWorkbenchWindowActionDelegate

See Also:

IWorkbenchWindowActionDelegate.init(IWorkbenchWindow)

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(IAction, ISelection)

runProofTask

public void runProofTask(org.eclipse.jface.action.IAction action,
                         ProofTask pt)

See Also:

IActionDelegate.run(IAction)