private final class MainWindow.SMTInvokeAction extends MainWindowAction
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
(package private) SolverTypeCollection |
solverUnion |
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 |
---|
MainWindow.SMTInvokeAction(SolverTypeCollection solverUnion) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(ActionEvent e) |
boolean |
equals(Object obj) |
int |
hashCode() |
boolean |
isEnabled() |
String |
toString() |
getMediator, getName, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setName, setSelected, setTooltip
addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, putValue, removePropertyChangeListener, setEnabled
private static final long serialVersionUID
SolverTypeCollection solverUnion
public MainWindow.SMTInvokeAction(SolverTypeCollection solverUnion)
public boolean isEnabled()
isEnabled
in interface Action
isEnabled
in class AbstractAction
public void actionPerformed(ActionEvent e)