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