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
Constructor and Description |
---|
LemmaGenerationAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
protected abstract java.lang.String |
getDescription() |
protected abstract java.lang.String |
getTitle() |
protected void |
handleException(java.lang.Throwable exception) |
protected abstract void |
loadTaclets() |
protected abstract boolean |
proofIsRequired() |
getMediator
getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip
private static final long serialVersionUID
public LemmaGenerationAction(MainWindow mainWindow)
protected abstract void loadTaclets()
protected abstract java.lang.String getTitle()
protected abstract java.lang.String getDescription()
protected abstract boolean proofIsRequired()
protected final void handleException(java.lang.Throwable exception)
public void actionPerformed(java.awt.event.ActionEvent e)