de.uka.ilkd.key.gui.actions

Class LemmaGenerationAction

java.lang.Object

javax.swing.AbstractAction

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

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

de.uka.ilkd.key.gui.actions.LemmaGenerationAction

All Implemented Interfaces:

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

Direct Known Subclasses:

LemmaGenerationAction.ProveAndAddTaclets, LemmaGenerationAction.ProveKeYTaclets, LemmaGenerationAction.ProveUserDefinedTaclets

public abstract class LemmaGenerationAction
extends MainWindowAction

See Also:

Serialized Form

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID

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

mainWindow

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

Constructor and Description
LemmaGenerationAction(MainWindow mainWindow)

Method Summary

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()

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

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

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

Constructor Detail

LemmaGenerationAction

public LemmaGenerationAction(MainWindow mainWindow)

Method Detail

loadTaclets

protected abstract void loadTaclets()

getTitle

protected abstract java.lang.String getTitle()

getDescription

protected abstract java.lang.String getDescription()

proofIsRequired

protected abstract boolean proofIsRequired()

handleException

protected final void handleException(java.lang.Throwable exception)

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)