debugbackend.views.actions

Class RewindSequenceAction

java.lang.Object

org.eclipse.core.commands.common.EventManager

org.eclipse.jface.action.AbstractAction

org.eclipse.jface.action.Action

debugbackend.views.actions.DisposableAction

debugbackend.views.actions.RewindableSequenceAction

debugbackend.views.actions.RewindSequenceAction

All Implemented Interfaces:

org.eclipse.jface.action.IAction

public class RewindSequenceAction
extends RewindableSequenceAction

An action which allows the user to rewind the sequence of graphs to look at previous graphs once more.

Nested Class Summary

Nested classes/interfaces inherited from class debugbackend.views.actions.DisposableAction

DisposableAction.RunActionListener

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	REWIND_ID

Fields inherited from class debugbackend.views.actions.DisposableAction

language

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

Constructors

Constructor and Description
RewindSequenceAction(RewindableGraphSequence sequence, java.util.function.Consumer<RewindableGraphSequence> onAction)

Method Summary

Modifier and Type	Method and Description
protected void	performChanges(RewindableGraphSequence sequence)
protected boolean	shouldBeEnabled(RewindableGraphSequence sequence)

Methods inherited from class debugbackend.views.actions.RewindableSequenceAction

dispose, run

Methods inherited from class debugbackend.views.actions.DisposableAction

addRunActionListener, removeRunActionListener

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, 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

REWIND_ID

public static final java.lang.String REWIND_ID

See Also:

Constant Field Values

Constructor Detail

RewindSequenceAction

public RewindSequenceAction(RewindableGraphSequence sequence,
                            java.util.function.Consumer<RewindableGraphSequence> onAction)

Method Detail

shouldBeEnabled

protected boolean shouldBeEnabled(RewindableGraphSequence sequence)

Specified by:

shouldBeEnabled in class RewindableSequenceAction

performChanges

protected void performChanges(RewindableGraphSequence sequence)

Specified by:

performChanges in class RewindableSequenceAction