de.uka.ilkd.key.gui.smt

Class ComplexButton.ItemAction

java.lang.Object

javax.swing.AbstractAction

de.uka.ilkd.key.gui.smt.ComplexButton.ItemAction

All Implemented Interfaces:

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

Enclosing class:

ComplexButton

class ComplexButton.ItemAction
extends javax.swing.AbstractAction

Field Summary

Fields

Modifier and Type	Field and Description
private javax.swing.Action	content
private static long	serialVersionUID

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
ItemAction(javax.swing.Action content)

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent e)
java.lang.String	toString()

Methods inherited from class javax.swing.AbstractAction

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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

content

private javax.swing.Action content

Constructor Detail

ItemAction

ItemAction(javax.swing.Action content)

Method Detail

actionPerformed

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object