public abstract class LemmaGenerationAction extends MainWindowAction
Modifier and Type | Class and Description |
---|---|
private static class |
LemmaGenerationAction.AbstractLoaderListener |
static class |
LemmaGenerationAction.Mode |
static class |
LemmaGenerationAction.ProveAndAddTaclets |
static class |
LemmaGenerationAction.ProveKeYTaclets |
static class |
LemmaGenerationAction.ProveUserDefinedTaclets |
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
mainWindow, SHORTCUT_KEY_MASK
changeSupport, enabled
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 and Description |
---|
LemmaGenerationAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(ActionEvent e) |
protected abstract String |
getDescription() |
protected abstract String |
getTitle() |
protected void |
handleException(Throwable exception) |
protected abstract void |
loadTaclets() |
protected abstract boolean |
proofIsRequired() |
getMediator, getName, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setName, setSelected, setTooltip
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, isEnabled, putValue, removePropertyChangeListener, setEnabled
private static final long serialVersionUID
public LemmaGenerationAction(MainWindow mainWindow)
protected abstract void loadTaclets()
protected abstract String getTitle()
protected abstract String getDescription()
protected abstract boolean proofIsRequired()
protected final void handleException(Throwable exception)
public void actionPerformed(ActionEvent e)