pla.actions
Class ExploreAction

java.lang.Object
  javax.swing.AbstractAction
      pla.actions.PLAAbstractAction
          pla.actions.ExploreAction

All Implemented Interfaces:

ActionListener, Serializable, Cloneable, EventListener, Action

public class ExploreAction
extends PLAAbstractAction

An action to request exploring steps from Maude.

Author:

linda

See Also:

Serialized Form

Field Summary

Fields inherited from class javax.swing.AbstractAction

changeSupport, enabled

Fields inherited from interface javax.swing.Action

ACCELERATOR_KEY, ACTION_COMMAND_KEY, DEFAULT, LONG_DESCRIPTION, MNEMONIC_KEY, NAME, SHORT_DESCRIPTION, SMALL_ICON

Constructor Summary

ExploreAction(PLAFrame frame, String s, Icon icon, String tooltip, KeyStroke accelerator, Integer mnemonic, String cmd, boolean reuseFrame)

ExploreAction(PLAFrame frame, String s, Icon icon, String tooltip, KeyStroke accelerator, Integer mnemonic, String cmd, ToolTextField ttf, JCheckBox cb)

Method Summary

void	actionPerformed(ActionEvent e)

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, toString, wait, wait, wait

Constructor Detail

ExploreAction

public ExploreAction(PLAFrame frame,
                     String s,
                     Icon icon,
                     String tooltip,
                     KeyStroke accelerator,
                     Integer mnemonic,
                     String cmd,
                     boolean reuseFrame)

ExploreAction

public ExploreAction(PLAFrame frame,
                     String s,
                     Icon icon,
                     String tooltip,
                     KeyStroke accelerator,
                     Integer mnemonic,
                     String cmd,
                     ToolTextField ttf,
                     JCheckBox cb)

Method Detail

actionPerformed

public void actionPerformed(ActionEvent e)