de.uka.ilkd.key.gui.actions

Class OneStepSimplificationToggleAction

java.lang.Object

javax.swing.AbstractAction

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

de.uka.ilkd.key.gui.actions.OneStepSimplificationToggleAction

All Implemented Interfaces:

ActionListener, Serializable, Cloneable, EventListener, Action

public class OneStepSimplificationToggleAction
extends MainWindowAction

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private SettingsListener	generalSettingsListener Listens for changes on ProofIndependentSettings.DEFAULT_INSTANCE.getGeneralSettings().
static String	NAME
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, SELECTED_KEY, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

Constructors

Constructor and Description
OneStepSimplificationToggleAction(MainWindow mainWindow)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(ActionEvent e)
protected void	handleGeneralSettingsChanged(EventObject e)
boolean	isEnabled()
protected void	updateMainWindow()
protected void	updateSelectedState()

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, putValue, removePropertyChangeListener, setEnabled

Methods inherited from class java.lang.Object

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

Field Detail

NAME

public static final String NAME

See Also:

Constant Field Values

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

generalSettingsListener

private final SettingsListener generalSettingsListener

Listens for changes on ProofIndependentSettings.DEFAULT_INSTANCE.getGeneralSettings().

Such changes can occur in the Eclipse context when settings are changed in for instance the KeYIDE.

Constructor Detail

OneStepSimplificationToggleAction

public OneStepSimplificationToggleAction(MainWindow mainWindow)

Method Detail

updateSelectedState

protected void updateSelectedState()

actionPerformed

public void actionPerformed(ActionEvent e)

updateMainWindow

protected void updateMainWindow()

handleGeneralSettingsChanged

protected void handleGeneralSettingsChanged(EventObject e)

isEnabled

public boolean isEnabled()

Specified by:

isEnabled in interface Action

Overrides:

isEnabled in class AbstractAction