pipe.gui
Class EditTokenAction

java.lang.Object
  extended by javax.swing.AbstractAction
      extended by pipe.gui.EditTokenAction
All Implemented Interfaces:
java.awt.event.ActionListener, java.io.Serializable, java.lang.Cloneable, java.util.EventListener, javax.swing.Action

public class EditTokenAction
extends javax.swing.AbstractAction

Action object that can be used to add or remove tokens from a place

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
EditTokenAction(java.awt.Container contentPane, Place place)
           
 
Method Summary
 void actionPerformed(java.awt.event.ActionEvent e)
          Prompts the user for the number of tokens they want the place to have
 
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

EditTokenAction

public EditTokenAction(java.awt.Container contentPane,
                       Place place)
Method Detail

actionPerformed

public void actionPerformed(java.awt.event.ActionEvent e)
Prompts the user for the number of tokens they want the place to have