de.uka.ilkd.key.gui.actions

Class LemmaGenerationBatchModeAction

java.lang.Object

javax.swing.AbstractAction

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

de.uka.ilkd.key.gui.actions.LemmaGenerationBatchModeAction

All Implemented Interfaces:

ActionListener, Serializable, Cloneable, EventListener, Action

public class LemmaGenerationBatchModeAction
extends MainWindowAction

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static String	description
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
LemmaGenerationBatchModeAction(MainWindow mainWindow)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(ActionEvent arg0)

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

description

private static final String description

See Also:

Constant Field Values

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

LemmaGenerationBatchModeAction

public LemmaGenerationBatchModeAction(MainWindow mainWindow)

Method Detail

actionPerformed

public void actionPerformed(ActionEvent arg0)