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
Constructor and Description |
---|
SMTInvokeAction(SolverTypeCollection solverUnion) |
Modifier and Type | Method and Description |
---|---|
void |
actionPerformed(java.awt.event.ActionEvent e) |
boolean |
equals(java.lang.Object obj) |
int |
hashCode() |
boolean |
isEnabled() |
java.lang.String |
toString() |
getMediator
getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip
private static final long serialVersionUID
SolverTypeCollection solverUnion
public SMTInvokeAction(SolverTypeCollection solverUnion)
public boolean isEnabled()
isEnabled
in interface javax.swing.Action
isEnabled
in class javax.swing.AbstractAction
public void actionPerformed(java.awt.event.ActionEvent e)
public java.lang.String toString()
toString
in class java.lang.Object
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object