de.uka.ilkd.key.gui.actions

Class LemmaGenerationAction.ProveUserDefinedTaclets

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

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

All Implemented Interfaces:

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

Enclosing class:

LemmaGenerationAction

public static class LemmaGenerationAction.ProveUserDefinedTaclets
extends LemmaGenerationAction

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.gui.actions.LemmaGenerationAction

LemmaGenerationAction.Mode, LemmaGenerationAction.ProveAndAddTaclets, LemmaGenerationAction.ProveKeYTaclets, LemmaGenerationAction.ProveUserDefinedTaclets

Field Summary

Fields

Modifier and Type	Field and Description
private FileChooser	chooser
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
ProveUserDefinedTaclets(MainWindow mainWindow)

Method Summary

Modifier and Type	Method and Description
protected java.lang.String	getDescription()
protected java.lang.String	getTitle()
protected void	loadTaclets()
protected boolean	proofIsRequired()

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

actionPerformed, handleException

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

chooser

private FileChooser chooser

Constructor Detail

ProveUserDefinedTaclets

public ProveUserDefinedTaclets(MainWindow mainWindow)

Method Detail

loadTaclets

protected void loadTaclets()

Specified by:

loadTaclets in class LemmaGenerationAction

getTitle

protected java.lang.String getTitle()

Specified by:

getTitle in class LemmaGenerationAction

getDescription

protected java.lang.String getDescription()

Specified by:

getDescription in class LemmaGenerationAction

proofIsRequired

protected boolean proofIsRequired()

Specified by:

proofIsRequired in class LemmaGenerationAction