org.eclipse.ocl.examples.emf.validation.validity.ui.actions
Class FilterValidationResultAction

java.lang.Object
  org.eclipse.core.commands.common.EventManager
      org.eclipse.jface.action.AbstractAction
          org.eclipse.jface.action.Action
              org.eclipse.ocl.examples.emf.validation.validity.ui.actions.FilterValidationResultAction

All Implemented Interfaces:

org.eclipse.jface.action.IAction, org.eclipse.jface.action.IMenuCreator

public final class FilterValidationResultAction
extends org.eclipse.jface.action.Action
implements org.eclipse.jface.action.IMenuCreator

Field Summary

protected ValidityView

validityView

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, HANDLED, IMAGE, RESULT, TEXT, TOOL_TIP_TEXT

Constructor Summary

FilterValidationResultAction(ValidityView validityView)

Method Summary

void	addActionToMenu(org.eclipse.jface.action.IAction action) Adds the given action to this action's menu.
void	dispose()
org.eclipse.swt.widgets.Menu	getMenu(org.eclipse.swt.widgets.Control parent)
org.eclipse.swt.widgets.Menu	getMenu(org.eclipse.swt.widgets.Menu parent)

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

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

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

addPropertyChangeListener, firePropertyChange, firePropertyChange, removePropertyChangeListener

Methods inherited from class org.eclipse.core.commands.common.EventManager

addListenerObject, clearListeners, getListeners, isListenerAttached, removeListenerObject

Methods inherited from class java.lang.Object

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

Field Detail

validityView

@NonNull
protected final ValidityView validityView

Constructor Detail

FilterValidationResultAction

public FilterValidationResultAction(@NonNull
                                    ValidityView validityView)

Method Detail

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.jface.action.IMenuCreator

getMenu

public org.eclipse.swt.widgets.Menu getMenu(org.eclipse.swt.widgets.Control parent)

Specified by:

getMenu in interface org.eclipse.jface.action.IMenuCreator

getMenu

public org.eclipse.swt.widgets.Menu getMenu(org.eclipse.swt.widgets.Menu parent)

Specified by:

getMenu in interface org.eclipse.jface.action.IMenuCreator

addActionToMenu

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

Adds the given action to this action's menu.

Parameters:

action - Action to add to this action's menu.