de.uka.ilkd.key.gui.actions

Class GoalBackAction

java.lang.Object

javax.swing.AbstractAction

de.uka.ilkd.key.gui.actions.MainWindowAction

de.uka.ilkd.key.gui.actions.GoalBackAction

All Implemented Interfaces:

ActionListener, Serializable, Cloneable, EventListener, Action

public final class GoalBackAction
extends MainWindowAction

This action is one part of the previous UndoLastStepAction: Only enabled when the last node is selected The action is enabled if a goal is selected.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	longName
private static long	serialVersionUID

Fields inherited from class de.uka.ilkd.key.gui.actions.MainWindowAction

mainWindow, SHORTCUT_KEY_MASK

Fields inherited from class javax.swing.AbstractAction

changeSupport, enabled

Fields inherited from interface javax.swing.Action

ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, DISPLAYED_MNEMONIC_INDEX_KEY, LARGE_ICON_KEY, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

Constructors

Constructor and Description
GoalBackAction(MainWindow mainWindow, boolean longName) creates an undo action

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(ActionEvent e)
void	init() Registers the action at some listeners to update its status in a correct fashion.
private void	setBackMode()

Methods inherited from class de.uka.ilkd.key.gui.actions.MainWindowAction

getMediator, getName, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setName, setSelected, setTooltip

Methods inherited from class javax.swing.AbstractAction

addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled

Methods inherited from class java.lang.Object

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

longName

private boolean longName

Constructor Detail

GoalBackAction

public GoalBackAction(MainWindow mainWindow,
                      boolean longName)

creates an undo action

Parameters:

longName - a boolean true iff the long name should be shown (e.g. in MenuItems)

Method Detail

init

public void init()

Registers the action at some listeners to update its status in a correct fashion. This method has to be invoked after the Main class has been initialised with the KeYMediator.

setBackMode

private void setBackMode()

actionPerformed

public void actionPerformed(ActionEvent e)