pla.actions
Class QueryAction

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

All Implemented Interfaces:

ActionListener, Serializable, Cloneable, EventListener, Action

public class QueryAction
extends PLAAbstractAction

Implements an action that queries Maude to generate a new subnet or path.

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

QueryAction(GraphPanel gp, String s, Icon icon, String tooltip, KeyStroke accelerator, Integer mnemonic, String cmd, String type)

Method Summary

void	actionPerformed(ActionEvent event)

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

QueryAction

public QueryAction(GraphPanel gp,
                   String s,
                   Icon icon,
                   String tooltip,
                   KeyStroke accelerator,
                   Integer mnemonic,
                   String cmd,
                   String type)

Method Detail

actionPerformed

public void actionPerformed(ActionEvent event)