public class CounterExampleAction extends MainWindowAction
Modifier and Type | Class and Description |
---|---|
private class |
CounterExampleAction.CEWorker |
static class |
CounterExampleAction.MainWindowCounterExampleGenerator
Performs the
SemanticsBlastingMacro in a Proof registered
in the MainWindow and thus visible to the user. |
static class |
CounterExampleAction.NoMainWindowCounterExampleGenerator
Performs the
SemanticsBlastingMacro in a side proof hidden to the
user and shows the result with help of the SolverListener . |
Modifier and Type | Field and Description |
---|---|
private static java.lang.String |
NAME |
private static java.lang.String |
TOOLTIP |
mainWindow
SHORTCUT_KEY_MASK
Constructor and Description |
---|
CounterExampleAction(MainWindow mainWindow) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
void |
init()
Registers the action at some listeners to update its status in a correct
fashion.
|
getMediator
getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip
private static final java.lang.String NAME
private static final java.lang.String TOOLTIP
public CounterExampleAction(MainWindow mainWindow)
public void init()
This class provides only the user interface and no counter example
generation logic which is implemented by the
AbstractCounterExampleGenerator
.
public void actionPerformed(java.awt.event.ActionEvent e)