de.uka.ilkd.key.gui

Class MainWindow.SMTInvokeAction

java.lang.Object

javax.swing.AbstractAction

de.uka.ilkd.key.gui.actions.KeyAction

de.uka.ilkd.key.gui.actions.MainWindowAction

de.uka.ilkd.key.gui.MainWindow.SMTInvokeAction

All Implemented Interfaces:

java.awt.event.ActionListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.Action

Enclosing class:

MainWindow

private final class MainWindow.SMTInvokeAction
extends MainWindowAction

This action is responsible for the invocation of an SMT solver For example the toolbar button is parameterized with an instance of this action

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID
(package private) SolverTypeCollection	solverUnion

Fields inherited from class de.uka.ilkd.key.gui.actions.MainWindowAction

mainWindow

Fields inherited from class de.uka.ilkd.key.gui.actions.KeyAction

SHORTCUT_KEY_MASK

Fields inherited from class javax.swing.AbstractAction

changeSupport, enabled

Fields inherited from interface javax.swing.Action

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 Summary

Constructors

Constructor and Description
SMTInvokeAction(SolverTypeCollection solverUnion)

Method Summary

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()

Methods inherited from class de.uka.ilkd.key.gui.actions.MainWindowAction

getMediator

Methods inherited from class de.uka.ilkd.key.gui.actions.KeyAction

getIcon, getMenuPath, getName, getPriority, getSmallIcon, getTooltip, isSelected, setAcceleratorKey, setAcceleratorLetter, setIcon, setLargeIcon, setLargeIcon, setMenuPath, setName, setPriority, setSelected, setSmallIcon, setTooltip

Methods inherited from class javax.swing.AbstractAction

addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, putValue, removePropertyChangeListener, setEnabled

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

solverUnion

SolverTypeCollection solverUnion

Constructor Detail

SMTInvokeAction

public SMTInvokeAction(SolverTypeCollection solverUnion)

Method Detail

isEnabled

public boolean isEnabled()

Specified by:

isEnabled in interface javax.swing.Action

Overrides:

isEnabled in class javax.swing.AbstractAction

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object