jack.plugin.prove
Class ProveAction

java.lang.Object
  org.eclipse.jface.action.Action
      jack.plugin.prove.ProveAction

All Implemented Interfaces:

org.eclipse.jface.action.IAction, org.eclipse.ui.IActionDelegate, org.eclipse.ui.IObjectActionDelegate, java.lang.Runnable

public abstract class ProveAction

extends org.eclipse.jface.action.Action

implements org.eclipse.ui.IObjectActionDelegate, java.lang.Runnable

Action allowing adding the selected file to the list of files that should be proved.

Author:

A. Requet

Field Summary

Fields inherited from interface org.eclipse.jface.action.IAction

AS_CHECK_BOX, AS_DROP_DOWN_MENU, AS_PUSH_BUTTON, AS_RADIO_BUTTON, AS_UNSPECIFIED, CHECKED, DESCRIPTION, ENABLED, IMAGE, RESULT, TEXT, TOOL_TIP_TEXT

Constructor Summary

ProveAction()

Method Summary

void	run_proof_pec(org.eclipse.core.resources.IFile jpo_file, JpoFile j)
void	run_proof(java.util.Iterator sel)
void	run()
void	run(org.eclipse.jface.action.IAction action)
void	selectionChanged(org.eclipse.jface.action.IAction action, org.eclipse.jface.viewers.ISelection sel)
void	setActivePart(org.eclipse.jface.action.IAction action, org.eclipse.ui.IWorkbenchPart targetPart) Deprecated.
void	setCaseViewer(CaseExplorer explorer)

Methods inherited from class org.eclipse.jface.action.Action

addPropertyChangeListener, convertAccelerator, convertAccelerator, findKeyCode, findKeyString, findModifier, findModifierString, getAccelerator, getActionDefinitionId, getDescription, getDisabledImageDescriptor, getHelpListener, getHoverImageDescriptor, getId, getImageDescriptor, getMenuCreator, getStyle, getText, getToolTipText, isChecked, isEnabled, notifyResult, removeAcceleratorText, removeMnemonics, removePropertyChangeListener, runWithEvent, setAccelerator, setActionDefinitionId, setChecked, setDescription, setDisabledImageDescriptor, setEnabled, setHelpListener, setHoverImageDescriptor, setId, setImageDescriptor, setMenuCreator, setText, setToolTipText

Methods inherited from class java.lang.Object

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

Constructor Detail

ProveAction

public ProveAction()

Method Detail

setActivePart

public void setActivePart(org.eclipse.jface.action.IAction action,
                          org.eclipse.ui.IWorkbenchPart targetPart)

Deprecated.

Specified by:

setActivePart in interface org.eclipse.ui.IObjectActionDelegate

See Also:

IObjectActionDelegate.setActivePart(IAction, IWorkbenchPart)

run

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

Specified by:

run in interface org.eclipse.ui.IActionDelegate

See Also:

IActionDelegate.run(IAction)

run

public void run()

Specified by:

run in interface java.lang.Runnable

run_proof_pec

public void run_proof_pec(org.eclipse.core.resources.IFile jpo_file,
                          JpoFile j)

run_proof

public void run_proof(java.util.Iterator sel)

selectionChanged

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

Specified by:

selectionChanged in interface org.eclipse.ui.IActionDelegate

See Also:

IActionDelegate.selectionChanged(IAction, ISelection)

setCaseViewer

public void setCaseViewer(CaseExplorer explorer)

Parameters:

explorer -