public static class LemmaGenerationAction.ProveKeYTaclets extends LemmaGenerationAction
LemmaGenerationAction.Mode, LemmaGenerationAction.ProveAndAddTaclets, LemmaGenerationAction.ProveKeYTaclets, LemmaGenerationAction.ProveUserDefinedTaclets
mainWindow
CHECKBOX, LOCAL_ACCELERATOR, PATH, PRIORITY, SHORTCUT_FOCUSED_CONDITION, SHORTCUT_KEY_MASK
Constructor and Description |
---|
ProveKeYTaclets(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, setAcceleratorKey, setAcceleratorLetter
getAcceleratorKey, getIcon, getMenuPath, getMnemonic, getName, getPriority, getSmallIcon, getTooltip, isSelected, lookupAcceleratorKey, lookupAcceleratorKey, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setMnemonic, setName, setPriority, setSelected, setSmallIcon, setTooltip
public ProveKeYTaclets(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
Copyright © 2003-2019 The KeY-Project.