de.uka.ilkd.key.gui.smt

Class ComplexButton.EmptyAction

java.lang.Object

javax.swing.AbstractAction

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

All Implemented Interfaces:

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

Enclosing class:

ComplexButton

public class ComplexButton.EmptyAction
extends javax.swing.AbstractAction

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
private static long	serialVersionUID
(package private) java.lang.String	text
(package private) java.lang.String	toolTip

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

Method Summary

Modifier and Type	Method and Description
void	actionPerformed(java.awt.event.ActionEvent arg0)
java.lang.String	getToolTip()
boolean	isEnabled()
void	setText(java.lang.String t)
void	setToolTip(java.lang.String t)
java.lang.String	toString()

Methods inherited from class javax.swing.AbstractAction

addPropertyChangeListener, clone, firePropertyChange, getKeys, getPropertyChangeListeners, getValue, 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

text

java.lang.String text

toolTip

java.lang.String toolTip

Constructor Detail

EmptyAction

public EmptyAction()

Method Detail

setText

public void setText(java.lang.String t)

setToolTip

public void setToolTip(java.lang.String t)

getToolTip

public java.lang.String getToolTip()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

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