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