de.uka.ilkd.key.gui.actions

Class MainWindowAction

java.lang.Object

javax.swing.AbstractAction

de.uka.ilkd.key.gui.actions.KeyAction

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

All Implemented Interfaces:

java.awt.event.ActionListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.Action

Direct Known Subclasses:

AbandonTaskAction, AboutAction, AutoModeAction, AutoSave, CopyToClipboardAction, CounterExampleAction, DecreaseFontSizeAction, EditMostRecentFileAction, ExitMainAction, GoalBackAction, HeatmapSettingsAction, HeatmapToggleAction, HidePackagePrefixToggleAction, IncreaseFontSizeAction, KeYProjectHomepageAction, LemmaGenerationAction, LemmaGenerationBatchModeAction, LicenseAction, MainWindow.SMTInvokeAction, MenuSendFeedackAction, OpenExampleAction, OpenFileAction, OpenMostRecentFileAction, PrettyPrintToggleAction, ProofDiffFrame.Action, ProofManagementAction, PruneProofAction, QuickLoadAction, QuickSaveAction, RightMouseClickToggleAction, SaveFileAction, SearchInProofTreeAction, SearchInSequentAction, ShowActiveSettingsAction, ShowActiveTactletOptionsAction, ShowKnownTypesAction, ShowProofStatistics, ShowUsedContractsAction, SMTOptionsAction, SyntaxHighlightingToggleAction, SystemInfoAction, TacletOptionsAction, TestGenerationAction, ToggleConfirmExitAction, ToolTipOptionsAction, UnicodeToggleAction

public abstract class MainWindowAction
extends KeyAction

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected MainWindow	mainWindow
private static long	serialVersionUID

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

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

Modifier	Constructor and Description
protected	MainWindowAction(MainWindow mainWindow)

Method Summary

Modifier and Type	Method and Description
protected KeYMediator	getMediator()

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

getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, 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

Methods inherited from interface java.awt.event.ActionListener

actionPerformed

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

mainWindow

protected final MainWindow mainWindow

Constructor Detail

MainWindowAction

protected MainWindowAction(MainWindow mainWindow)

Method Detail

getMediator

protected KeYMediator getMediator()